C++: Add failing test.

MathiasVP · MathiasVP · commit f6b9ca3da654 · 2023-02-27T14:57:35.000Z
diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
@@ -608,3 +608,10 @@ void test_def_by_ref_followed_by_uncertain_write_pointer(int* p) { // $ ast-def=
   *p = 0;
   sink(*p); // $ ir MISSING: ast
 }
+
+void test_flow_through_void_double_pointer(int *p) // $ ast-def=p
+{
+  intPointerSource(p);
+  void* q = (void*)&p;
+  sink(**(int**)q); // $ MISSING: ast,ir
+}
