C++: Accept test changes.

MathiasVP · MathiasVP · commit cb47bdd9fda9 · 2022-12-15T11:55:25.000Z
diff --git a/cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp b/cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp
@@ -339,12 +339,12 @@ void test_vector_output_iterator(int b) {
 
 	std::vector<int>::iterator i1 = v1.begin();
 	*i1 = source();
-	sink(v1); // $ ast MISSING: ir
+	sink(v1); // $ ast,ir
 
 	for(std::vector<int>::iterator it = v2.begin(); it != v2.end(); ++it) {
 		*it = source();
 	}
-	sink(v2); // $ ast MISSING: ir
+	sink(v2); // $ ast,ir
 
 	for(int& x : v3) {
 		x = source();
@@ -358,29 +358,29 @@ void test_vector_output_iterator(int b) {
 	
 	std::vector<int>::iterator i5 = v5.begin();
 	*i5 = source();
-	sink(v5); // $ ast MISSING: ir
+	sink(v5); // $ ast,ir
 	*i5 = 1;
 	sink(v5); // $ ast MISSING: ir
 
 	std::vector<int>::iterator i6 = v6.begin();
 	*i6 = source();
-	sink(v6); // $ ast MISSING: ir
+	sink(v6); // $ ast,ir
 	v6 = std::vector<int>(10);
-	sink(v6); // $ SPURIOUS: ast
+	sink(v6); // $ SPURIOUS: ast,ir
 
 	std::vector<int>::iterator i7 = v7.begin();
 	if(b) {
 		*i7 = source();
-		sink(v7); // $ ast MISSING: ir
+		sink(v7); // $ ast,ir
 	} else {
 		*i7 = 1;
 		sink(v7);
 	}
-	sink(v7); // $ ast MISSING: ir
+	sink(v7); // $ ast,ir
 
 	std::vector<int>::iterator i8 = v8.begin();
 	*i8 = source();
-	sink(v8); // $ ast MISSING: ir
+	sink(v8); // $ ast,ir
 	*i8 = 1;
 	sink(v8); // $ SPURIOUS: ast
 
@@ -389,7 +389,7 @@ void test_vector_output_iterator(int b) {
 	*i9 = source();
 	taint_vector_output_iterator(i9);
 
-	sink(v9); // $ ast=330:10 SPURIOUS: ast=389:8 MISSING: ir
+	sink(v9); // $ ast=330:10 ir SPURIOUS: ast=389:8
 
 	std::vector<int>::iterator i10 = v10.begin();
 	vector_iterator_assign_wrapper(i10, 10);
@@ -402,24 +402,24 @@ void test_vector_output_iterator(int b) {
 	std::vector<int>::iterator i12 = v12.begin();
 	*i12++ = 0;
 	*i12 = source();
-	sink(v12); // $ ast MISSING: ir
+	sink(v12); // $ ast,ir
 
 	std::vector<int>::iterator i13 = v13.begin();
 	*i13++ = source();
-	sink(v13); // $ ast MISSING: ir
+	sink(v13); // $ ast,ir
 
 	std::vector<int>::iterator i14 = v14.begin();
 	i14++;
 	*i14++ = source();
-	sink(v14); // $ ast MISSING: ir
+	sink(v14); // $ ast,ir
 }
 
 void test_vector_inserter(char *source_string) {
 	{
 		std::vector<std::string> out;
 		auto it = out.end();
 		*it++ = std::string(source_string);
-		sink(out); // $ ast MISSING: ir
+		sink(out); // $ ast,ir
 	}
 
 	{
