C++: Accept test changes.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-10-16 10:48:44 +01:00
parent 7e6857d36b
commit d8a049f5cc
2 changed files with 13 additions and 2 deletions

View File

@@ -854,9 +854,9 @@ void test16_with_malloc(size_t index) {
void test_regression(size_t size) {
int* p = (int*)MyMalloc(size + 1);
int* chend = p + (size + 1);
int* chend = p + (size + 1); // $ alloc=L856+1
if(p <= chend) {
*p = 42; // BAD [NOT DETECTED]
*p = 42; // $ deref=L860 // BAD
}
}