Skip to content

Commit 16c2cf2

Browse files
committed
C++: use inline annotation for missing flow
1 parent 592e2ea commit 16c2cf2

File tree

3 files changed

+3
-6
lines changed

3 files changed

+3
-6
lines changed

cpp/ql/test/library-tests/dataflow/taint-tests/taint.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -450,7 +450,7 @@ void test_qualifiers()
450450
b.member = source();
451451
sink(b); // $ ir MISSING: ast
452452
sink(b.member); // $ ast,ir
453-
sink(b.getMember()); // $ ir MISSING: ast
453+
sink(b.getMember()); // $ MISSING: ir ast
454454

455455
c = new MyClass2(0);
456456

cpp/ql/test/library-tests/dataflow/taint-tests/taint.expected

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,4 @@ WARNING: module 'DataFlow' has been deprecated and may be removed in future (tai
44
WARNING: module 'DataFlow' has been deprecated and may be removed in future (taint.ql:68,25-33)
55
WARNING: module 'TaintTracking' has been deprecated and may be removed in future (taint.ql:73,20-33)
66
testFailures
7-
| taint.cpp:453:23:453:42 | // $ ir MISSING: ast | Missing result:ir= |
8-
| vector.cpp:118:12:118:30 | // $ ir MISSING:ast | Missing result:ir= |
9-
| vector.cpp:119:12:119:30 | // $ ir MISSING:ast | Missing result:ir= |
107
failures

cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -115,8 +115,8 @@ void test_vector_swap() {
115115
v3.swap(v4);
116116

117117
sink(v1);
118-
sink(v2); // $ ir MISSING:ast
119-
sink(v3); // $ ir MISSING:ast
118+
sink(v2); // $ MISSING:ir ast
119+
sink(v3); // $ MISSING:ir ast
120120
sink(v4);
121121
}
122122

0 commit comments

Comments
 (0)