C++: Fix annotations.

MathiasVP · MathiasVP · commit 1ac5db3a9848 · 2023-04-13T11:07:12.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
@@ -99,7 +99,7 @@ void* use_after_free(void *a) {
 
 void test_realloc1(void *a) {
     free(a);
-    void *b = realloc(a, sizeof(a)*3); // BAD
+    void *b = realloc(a, sizeof(a)*3); // BAD [NOT DETECTED by cpp/double-free]
     free(a); // BAD
     free(b); // GOOD
 }

Original file line number	Diff line number	Diff line change
`@@ -99,7 +99,7 @@ void* use_after_free(void *a) {`
`99`	`99`
`100`	`100`	`void test_realloc1(void *a) {`
`101`	`101`	`free(a);`
`102`		`- void b = realloc(a, sizeof(a)3); // BAD`
	`102`	`+ void b = realloc(a, sizeof(a)3); // BAD [NOT DETECTED by cpp/double-free]`
`103`	`103`	`free(a); // BAD`
`104`	`104`	`free(b); // GOOD`
`105`	`105`	`}`