C++: Add failing test.

MathiasVP · MathiasVP · commit 9d64c0a02335 · 2023-02-27T14:57:35.000Z
diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected b/cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected
@@ -108,6 +108,8 @@ postWithInFlow
 | test.cpp:562:5:562:13 | globalInt [post update] | PostUpdateNode should not be the target of local flow. |
 | test.cpp:576:5:576:13 | globalInt [post update] | PostUpdateNode should not be the target of local flow. |
 | test.cpp:589:19:589:19 | x [inner post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:596:3:596:4 | xs [inner post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:596:3:596:7 | access to array [post update] | PostUpdateNode should not be the target of local flow. |
 viableImplInCallContextTooLarge
 uniqueParameterNodeAtPosition
 uniqueParameterNodePosition
diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
@@ -588,4 +588,11 @@ void test_write_to_param() {
   int x = 0;
   write_to_param(&x);
   sink(x); // $ SPURIOUS: ast
-}
+}
+
+void test_indirect_flow_to_array() {
+  int* p = indirect_source();
+  int* xs[2];
+  xs[0] = p;
+  sink(*xs[0]); // $ MISSING: ir,ast
+}
diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/uninitialized.expected b/cpp/ql/test/library-tests/dataflow/dataflow-tests/uninitialized.expected
@@ -40,3 +40,5 @@
 | test.cpp:547:9:547:9 | x | test.cpp:548:25:548:25 | x |
 | test.cpp:551:9:551:9 | y | test.cpp:552:25:552:25 | y |
 | test.cpp:551:9:551:9 | y | test.cpp:552:28:552:28 | y |
+| test.cpp:595:8:595:9 | xs | test.cpp:596:3:596:4 | xs |
+| test.cpp:595:8:595:9 | xs | test.cpp:597:9:597:10 | xs |
