C++: Fix test annotation.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-02-27 15:47:52 +00:00
parent 31f3504113
commit b36d4931f2
2 changed files with 1 additions and 2 deletions

View File

@@ -1 +0,0 @@
| vector.cpp:392:7:392:8 | v9 | Unexpected result: ir= |

View File

@@ -389,7 +389,7 @@ void test_vector_output_iterator(int b) {
*i9 = source();
taint_vector_output_iterator(i9);
sink(v9); // $ ast=330:10 ir=330:10 SPURIOUS: ast=389:8 ir=389:8
sink(v9); // $ ast=330:10 ir=330:10 ir SPURIOUS: ast=389:8 ir=389:8
std::vector<int>::iterator i10 = v10.begin();
vector_iterator_assign_wrapper(i10, 10);