Add test 39-signed-overflows/17-mod-minus-1

Author: sim642

tests/regression/39-signed-overflows/17-mod-minus-1.c

@@ -0,0 +1,12 @@
+// PARAM: --enable ana.int.interval
+#include <limits.h>
+
+int main() {
+    int bad = INT_MIN % -1; // TODO WARN (overflow)
+    int x, y;
+    bad = x % y; // WARN (div by zero and overflow, distinguished in cram test)
+    if (y != 0) {
+        bad = x % y; // TODO WARN (overflow)
+    }
+    return 0;
+}

tests/regression/39-signed-overflows/17-mod-minus-1.t

@@ -0,0 +1,16 @@
+TODO: should warn about overflow in all three %-s
+  $ goblint --enable warn.deterministic --enable ana.int.interval 17-mod-minus-1.c
+  [Warning][Integer > DivByZero][CWE-369] Second argument of modulo might be zero (17-mod-minus-1.c:7:5-7:16)
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 6
+    dead: 0
+    total lines: 6
+
+TODO: should warn about overflow in all three %-s
+  $ goblint --enable warn.deterministic --enable ana.int.interval_set 17-mod-minus-1.c
+  [Warning][Integer > DivByZero][CWE-369] Second argument of modulo might be zero (17-mod-minus-1.c:7:5-7:16)
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 6
+    dead: 0
+    total lines: 6
+