From a59b91800591215db4f3247ef95c6b3ac296ad2e Mon Sep 17 00:00:00 2001 From: oliver Date: Wed, 31 Jan 2024 19:08:08 +0100 Subject: [PATCH] remove test case 86 04 --- .../86-relational-array-oob/04-global.c | 48 ------------------- 1 file changed, 48 deletions(-) delete mode 100644 tests/regression/86-relational-array-oob/04-global.c diff --git a/tests/regression/86-relational-array-oob/04-global.c b/tests/regression/86-relational-array-oob/04-global.c deleted file mode 100644 index e89efc14e0f..00000000000 --- a/tests/regression/86-relational-array-oob/04-global.c +++ /dev/null @@ -1,48 +0,0 @@ -// PARAM: --enable ana.arrayoob --enable ana.int.interval --set ana.activated[+] apron --disable warn.integer - -int readUntil(char arr[], unsigned len) -{ - for (unsigned int i = 0; i < len; i++) - { - char s = arr[i]; // NOWARN - char s = arr[i - 1]; // WARN - char s = arr[i + 1]; // WARN - char s = arr[i - i]; // NOWARN - char s = arr[i + i]; // WARN - - arr[i] = 42; // NOWARN - arr[i - 1] = 42; // WARN - arr[i + 1] = -42; // WARN - arr[i - i] = -42; // NOWARN - arr[i + i] = -42; // WARN - } -} - -int main() -{ - unsigned int len; - unsigned int top; - - if (top) - len = 5; - else - len = 10; - - char ptr[len]; - readUntil(ptr+1, len); - - for (unsigned int i = 0; i < len; i++) - { - char s = ptr[i]; // NOWARN - char s = ptr[i - 1]; // WARN - char s = ptr[i + 1]; // WARN - char s = ptr[i - i]; // NOWARN - char s = ptr[i + i]; // WARN - - ptr[i] = 42; // NOWARN - ptr[i - 1] = 42; // WARN - ptr[i + 1] = -42; // WARN - ptr[i - i] = -42; // NOWARN - ptr[i + i] = -42; // WARN - } -}