C++: Add failing test.

MathiasVP · MathiasVP · commit 575ac46bf3df · 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
@@ -110,6 +110,10 @@ postWithInFlow
 | 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. |
+| test.cpp:602:3:602:3 | p [inner post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:602:3:602:7 | access to array [post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:608:3:608:4 | * ... [post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:608:4:608:4 | p [inner 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
@@ -596,3 +596,15 @@ void test_indirect_flow_to_array() {
   xs[0] = p;
   sink(*xs[0]); // $ ir=594:12 MISSING: ast SPURIOUS: ir=595:8
 }
+
+void test_def_by_ref_followed_by_uncertain_write_array(int* p) { // $ ast-def=p ir-def=*p
+  intPointerSource(p);
+  p[10] = 0;
+  sink(*p); // $ MISSING: ast,ir
+}
+
+void test_def_by_ref_followed_by_uncertain_write_pointer(int* p) { // $ ast-def=p ir-def=*p
+  intPointerSource(p);
+  *p = 0;
+  sink(*p); // $ MISSING: ast,ir
+}
