We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6c96a8d commit dbe8034Copy full SHA for dbe8034
csharp/ql/test/library-tests/dataflow/fields/B.cs
@@ -6,15 +6,15 @@ public void M1()
6
var b1 = new Box1(e, null);
7
var b2 = new Box2(b1);
8
Sink(b2.box1.elem1); // flow
9
- Sink(b2.box1.elem2); // FP due to flow in M2 below
+ Sink(b2.box1.elem2); // no flow
10
}
11
12
public void M2()
13
{
14
var e = new Elem();
15
var b1 = new Box1(null, e);
16
17
- Sink(b2.box1.elem1); // FP due to flow in M1 above
+ Sink(b2.box1.elem1); // no flow
18
Sink(b2.box1.elem2); // flow
19
20
0 commit comments