C++: Add a testcase that failed during development.

2026-04-28 02:05:14 +02:00 · 2024-05-22 14:09:01 +01:00
parent a9af28ede0
commit ceccc9294c
7 changed files with 36 additions and 0 deletions
--- a/cpp/ql/test/library-tests/dataflow/fields/simple.cpp
+++ b/cpp/ql/test/library-tests/dataflow/fields/simple.cpp
@@ -111,4 +111,13 @@ namespace TestAdditionalCallTargets {

 }

+void post_update_to_phi_input(bool b)
+{
+  A a;
+  if(b) {
+    a.i = user_input();
+  }
+  sink(a.i); // $ ast,ir
+}
+
 } // namespace Simple