C++: Disambiguate a test annotation.

MathiasVP · MathiasVP · commit 263b2082828a · 2023-03-08T09:07:07.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
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -594,7 +594,7 @@ void test_indirect_flow_to_array() {`
`594`	`594`	`int* p = indirect_source();`
`595`	`595`	`int* xs[2];`
`596`	`596`	`xs[0] = p;`
`597`		`- sink(*xs[0]); // $ ir MISSING: ast`
	`597`	+ sink(*xs[0]); // $ ir MISSING: ast // the IR source is the indirection of `indirect_source()`.
`598`	`598`	`}`
`599`	`599`
`600`	`600`	`void test_def_by_ref_followed_by_uncertain_write_array(int* p) { // $ ast-def=p ir-def=*p`