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) }