From cb47bdd9fda9095db2d13eb0f84441d82a8fbfad Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Wed, 14 Dec 2022 12:19:34 +0000 Subject: [PATCH] C++: Accept test changes. --- .../dataflow/taint-tests/vector.cpp | 26 +++++++++---------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp b/cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp index 596268a787b..5a4b213bd13 100644 --- 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::iterator i1 = v1.begin(); *i1 = source(); - sink(v1); // $ ast MISSING: ir + sink(v1); // $ ast,ir for(std::vector::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::iterator i5 = v5.begin(); *i5 = source(); - sink(v5); // $ ast MISSING: ir + sink(v5); // $ ast,ir *i5 = 1; sink(v5); // $ ast MISSING: ir std::vector::iterator i6 = v6.begin(); *i6 = source(); - sink(v6); // $ ast MISSING: ir + sink(v6); // $ ast,ir v6 = std::vector(10); - sink(v6); // $ SPURIOUS: ast + sink(v6); // $ SPURIOUS: ast,ir std::vector::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::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::iterator i10 = v10.begin(); vector_iterator_assign_wrapper(i10, 10); @@ -402,16 +402,16 @@ void test_vector_output_iterator(int b) { std::vector::iterator i12 = v12.begin(); *i12++ = 0; *i12 = source(); - sink(v12); // $ ast MISSING: ir + sink(v12); // $ ast,ir std::vector::iterator i13 = v13.begin(); *i13++ = source(); - sink(v13); // $ ast MISSING: ir + sink(v13); // $ ast,ir std::vector::iterator i14 = v14.begin(); i14++; *i14++ = source(); - sink(v14); // $ ast MISSING: ir + sink(v14); // $ ast,ir } void test_vector_inserter(char *source_string) { @@ -419,7 +419,7 @@ void test_vector_inserter(char *source_string) { std::vector out; auto it = out.end(); *it++ = std::string(source_string); - sink(out); // $ ast MISSING: ir + sink(out); // $ ast,ir } {