Add test 39-signed-overflows/15-div-minus-1 (issue #1803)

Author: sim642

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

@@ -0,0 +1,11 @@
+// PARAM: --enable ana.int.interval
+#include <limits.h>
+
+int main() {
+    int bad = INT_MIN / -1; // WARN
+    int x, y;
+    if (y != 0) {
+        bad = x / y; // TODO WARN
+    }
+    return 0;
+}