Add test which can be run in isolation

goblint · Nov 18, 2023 · 88957a8 · 88957a8
1 parent 5663482
commit 88957a8
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/tests/regression/39-signed-overflows/06-abs.c b/tests/regression/39-signed-overflows/06-abs.c
@@ -0,0 +1,15 @@
+//PARAM: --enable ana.int.interval --set ana.activated[+] tmpSpecial
+#include<math.h>
+int main() {
+    int data;
+    if (data > (-0x7fffffff - 1))
+    {
+        if (abs(data) < 100)
+        {
+            int result = data * data;
+        }
+
+        int result = data * data;
+    }
+    return 8;
+}