Fix missing parentheses in cram test

goblint · Dec 28, 2023 · 74a333a · 74a333a
1 parent 3713f67
commit 74a333a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/tests/regression/74-invalid_deref/08-memset-memcpy-array.t b/tests/regression/74-invalid_deref/08-memset-memcpy-array.t
@@ -20,10 +20,10 @@
   [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer argv in expression argv + 5 is top. Memory out-of-bounds access might occur (08-memset-memcpy-array.c:29:16-29:27)
   [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of (void *)b in function memset is 4 (in bytes) with an address offset of 0 (in bytes). Count is 168 (in bytes). Memory out-of-bounds access must occur (08-memset-memcpy-array.c:32:9-32:26)
   [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of (void * __restrict  )b in function memcpy is 4 (in bytes) with an address offset of 0 (in bytes). Count is 168 (in bytes). Memory out-of-bounds access must occur (08-memset-memcpy-array.c:33:9-33:26)
-  [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168]) with address offset (0) count (168) in function memset. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:36:5-36:30)
-  [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168]) with address offset (0) count (168) in function memcpy. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:37:5-37:30)
-  [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168]) with address offset (0) count (5) in function memset. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:40:5-40:34)
-  [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168]) with address offset (0) count (5) in function memcpy. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:41:5-41:34)
+  [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168])) with address offset (0) count (168) in function memset. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:36:5-36:30)
+  [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168])) with address offset (0) count (168) in function memcpy. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:37:5-37:30)
+  [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168])) with address offset (0) count (5) in function memset. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:40:5-40:34)
+  [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168])) with address offset (0) count (5) in function memcpy. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:41:5-41:34)
   [Info][Deadcode] Logical lines of code (LLoC) summary:
     live: 27
     dead: 0