C++: Add failing IR dataflow testcase.

MathiasVP · MathiasVP · commit 2999243e3485 · 2022-12-12T10:42:59.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
@@ -92,6 +92,10 @@ postWithInFlow
 | test.cpp:506:3:506:4 | * ... [post update] | PostUpdateNode should not be the target of local flow. |
 | test.cpp:506:4:506:4 | p [inner post update] | PostUpdateNode should not be the target of local flow. |
 | test.cpp:512:35:512:35 | x [inner post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:519:3:519:12 | stackArray [inner post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:519:3:519:15 | access to array [post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:520:3:520:12 | stackArray [inner post update] | PostUpdateNode should not be the target of local flow. |
+| test.cpp:520:3:520:15 | 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
@@ -512,3 +512,11 @@ void viaOutparamMissingReturn() {
   intOutparamSourceMissingReturn(&x);
   sink(x); // $ ast MISSING: ir
 }
+
+void uncertain_definition() {
+  int stackArray[2];
+  int clean = 0;
+  stackArray[0] = source();
+  stackArray[1] = clean;
+  sink(stackArray[0]); // $ ast=519:19 SPURIOUS: ast=517:7 MISSING: ir
+}
diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/uninitialized.expected b/cpp/ql/test/library-tests/dataflow/dataflow-tests/uninitialized.expected
@@ -34,3 +34,6 @@
 | test.cpp:448:7:448:11 | local | test.cpp:449:18:449:22 | local |
 | test.cpp:448:7:448:11 | local | test.cpp:450:8:450:12 | local |
 | test.cpp:448:7:448:11 | local | test.cpp:451:9:451:13 | local |
+| test.cpp:517:7:517:16 | stackArray | test.cpp:519:3:519:12 | stackArray |
+| test.cpp:517:7:517:16 | stackArray | test.cpp:520:3:520:12 | stackArray |
+| test.cpp:517:7:517:16 | stackArray | test.cpp:521:8:521:17 | stackArray |
