From 81d06e2ce6256507ba5e2e8109bcbe69280fc47e Mon Sep 17 00:00:00 2001 From: Jonas Jensen Date: Wed, 13 Nov 2019 16:58:25 +0100 Subject: [PATCH] C++: Update annotation in test file --- .../Memory Management/PointerOverflow/no_strict_overflow.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 index 2bc73d10fd3..1b6f2502dda 100644 --- 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) }