C++: Fix annotations.

MathiasVP · MathiasVP · commit 31b71ea16373 · 2023-04-13T11:04:51.000+01:00
diff --git a/cpp/ql/test/query-tests/Critical/MemoryFreed/test_free.cpp b/cpp/ql/test/query-tests/Critical/MemoryFreed/test_free.cpp
@@ -39,9 +39,9 @@ void test_dominance2(void *a) {
 
 void test_post_dominance1(int *a)
 {
-    if (condition()) free(a); // GOOD
-    if (condition()) a[2] = 5; // GOOD
-    if (condition()) free(a); // GOOD
+    if (condition()) free(a);
+    if (condition()) a[2] = 5; // BAD [NOT DETECTED]
+    if (condition()) free(a); // BAD [NOT DETECTED]
     a[2] = 5; // BAD
     free(a); // BAD
 }

Original file line number	Diff line number	Diff line change
`@@ -39,9 +39,9 @@ void test_dominance2(void *a) {`
`39`	`39`
`40`	`40`	`void test_post_dominance1(int *a)`
`41`	`41`	`{`
`42`		`- if (condition()) free(a); // GOOD`
`43`		`- if (condition()) a[2] = 5; // GOOD`
`44`		`- if (condition()) free(a); // GOOD`
	`42`	`+ if (condition()) free(a);`
	`43`	`+ if (condition()) a[2] = 5; // BAD [NOT DETECTED]`
	`44`	`+ if (condition()) free(a); // BAD [NOT DETECTED]`
`45`	`45`	`a[2] = 5; // BAD`
`46`	`46`	`free(a); // BAD`
`47`	`47`	`}`