From 263b2082828a36b9a70d415eb0b0ce0b22adb136 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Wed, 8 Mar 2023 09:07:07 +0000 Subject: [PATCH] C++: Disambiguate a test annotation. --- cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 837995a8085..36b78896179 100644 --- a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp +++ b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp @@ -594,7 +594,7 @@ void test_indirect_flow_to_array() { int* p = indirect_source(); int* xs[2]; xs[0] = p; - sink(*xs[0]); // $ ir MISSING: ast + sink(*xs[0]); // $ ir MISSING: ast // the IR source is the indirection of `indirect_source()`. } void test_def_by_ref_followed_by_uncertain_write_array(int* p) { // $ ast-def=p ir-def=*p