From f6b9ca3da65489d017af957500ca8d7faa6f3ec2 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Sun, 26 Feb 2023 23:05:46 +0000 Subject: [PATCH] C++: Add failing test. --- cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp index a219fb3af90..081926ad4b6 100644 --- 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 +}