We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b2c94cc commit 9f0f2f7Copy full SHA for 9f0f2f7
cpp/ql/test/library-tests/dataflow/fields/B.cpp
@@ -7,15 +7,15 @@ class B
7
Box1 *b1 = new Box1(e, nullptr);
8
Box2 *b2 = new Box2(b1);
9
sink(b2->box1->elem1); // flow
10
- sink(b2->box1->elem2); // no flow [FALSE POSITIVE] (due to flow in f2 below)
+ sink(b2->box1->elem2); // no flow
11
}
12
13
void f2()
14
{
15
Elem *e = new B::Elem();
16
Box1 *b1 = new B::Box1(nullptr, e);
17
18
- sink(b2->box1->elem1); // no flow [FALSE POSITIVE] (due to flow in f1 above)
+ sink(b2->box1->elem1); // no flow
19
sink(b2->box1->elem2); // flow
20
21
0 commit comments