We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 73b93be commit a36afc6Copy full SHA for a36afc6
1 file changed
cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp
@@ -360,7 +360,7 @@ void test_vector_output_iterator(int b) {
360
*i5 = source();
361
sink(v5); // $ ast,ir
362
*i5 = 1;
363
- sink(v5); // $ ast MISSING: ir
+ sink(v5); // $ ast,ir
364
365
std::vector<int>::iterator i6 = v6.begin();
366
*i6 = source();
@@ -382,7 +382,7 @@ void test_vector_output_iterator(int b) {
382
*i8 = source();
383
sink(v8); // $ ast,ir
384
*i8 = 1;
385
- sink(v8); // $ SPURIOUS: ast
+ sink(v8); // $ SPURIOUS: ast,ir
386
387
std::vector<int>::iterator i9 = v9.begin();
388
0 commit comments