Add cram test 39-signed-overflows/15-div-minus-1

Author: sim642

tests/regression/39-signed-overflows/15-div-minus-1.c

@@ -2,10 +2,11 @@
 #include <limits.h>
 
 int main() {
-    int bad = INT_MIN / -1; // WARN
+    int bad = INT_MIN / -1; // WARN (overflow)
     int x, y;
+    bad = x / y; // WARN (div by zero and overflow, distinguished in cram test)
     if (y != 0) {
-        bad = x / y; // WARN
+        bad = x / y; // WARN (overflow)
     }
     return 0;
 }

tests/regression/39-signed-overflows/15-div-minus-1.t

@@ -0,0 +1,19 @@
+  $ goblint --enable warn.deterministic --enable ana.int.interval 15-div-minus-1.c
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow (15-div-minus-1.c:5:9-5:26)
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow (15-div-minus-1.c:7:5-7:16)
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow (15-div-minus-1.c:9:9-9:20)
+  [Warning][Integer > DivByZero][CWE-369] Second argument of division might be zero (15-div-minus-1.c:7:5-7:16)
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 6
+    dead: 0
+    total lines: 6
+
+  $ goblint --enable warn.deterministic --enable ana.int.interval_set 15-div-minus-1.c
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow (15-div-minus-1.c:5:9-5:26)
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow (15-div-minus-1.c:9:9-9:20)
+  [Warning][Integer > DivByZero][CWE-369] Second argument of division might be zero (15-div-minus-1.c:7:5-7:16)
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 6
+    dead: 0
+    total lines: 6
+

tests/regression/39-signed-overflows/dune

@@ -0,0 +1,2 @@
+(cram
+ (deps (glob_files *.c)))