Skip to content

Commit

Permalink
C++: Accept test regressions.
Browse files Browse the repository at this point in the history
  • Loading branch information
MathiasVP committed Apr 10, 2024
1 parent 3d96206 commit 99e7b5b
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -354,7 +354,7 @@ void test_vector_output_iterator(int b) {
for(std::vector<int>::iterator it = v4.begin(); it != v4.end(); ++it) {
taint_vector_output_iterator(it);
}
sink(v4); // $ ast,ir
sink(v4); // $ ast MISSING: ir

std::vector<int>::iterator i5 = v5.begin();
*i5 = source();
Expand Down Expand Up @@ -389,15 +389,15 @@ void test_vector_output_iterator(int b) {
*i9 = source();
taint_vector_output_iterator(i9);

sink(v9); // $ ast=330:10 ir=330:10 ir SPURIOUS: ast=389:8 ir=389:8
sink(v9); // $ ast=330:10 MISSING: ir SPURIOUS: ast=389:8

std::vector<int>::iterator i10 = v10.begin();
vector_iterator_assign_wrapper(i10, 10);
sink(v10);

std::vector<int>::iterator i11 = v11.begin();
vector_iterator_assign_wrapper(i11, source());
sink(v11); // $ ast,ir
sink(v11); // $ ast MISSING: ir

std::vector<int>::iterator i12 = v12.begin();
*i12++ = 0;
Expand Down

0 comments on commit 99e7b5b

Please sign in to comment.