C++: Update annotation in test file

jbj · jbj · commit 81d06e2ce625 · 2019-11-13T16:58:25.000+01:00
diff --git a/cpp/ql/test/query-tests/Likely Bugs/Memory Management/PointerOverflow/no_strict_overflow.c b/cpp/ql/test/query-tests/Likely Bugs/Memory Management/PointerOverflow/no_strict_overflow.c
@@ -2,5 +2,5 @@
 
 int not_in_range_nostrict(int *ptr, int *ptr_end, unsigned int a) {
     return ptr + a < ptr_end || // GOOD (for the purpose of this test)
-        ptr + a < ptr; // GOOD (due to compiler options) [FALSE POSITIVE]
+        ptr + a < ptr; // GOOD (due to compiler options)
 }

Original file line number	Diff line number	Diff line change
`@@ -2,5 +2,5 @@`
`2`	`2`
`3`	`3`	`int not_in_range_nostrict(int ptr, int ptr_end, unsigned int a) {`
`4`	`4`	`return ptr + a < ptr_end \|\| // GOOD (for the purpose of this test)`
`5`		`- ptr + a < ptr; // GOOD (due to compiler options) [FALSE POSITIVE]`
	`5`	`+ ptr + a < ptr; // GOOD (due to compiler options)`
`6`	`6`	`}`