add new test cases to goto-analyzer

Signed-off-by: Lucas Cordeiro <[email protected]>

Author: Lucas Cordeiro

regression/goto-analyzer/intervals6/intervals6.c

@@ -0,0 +1,11 @@
+#include <assert.h>
+
+int main(){
+  int x;
+  if (x > 0) {
+    if (x < 20) {
+      assert(x < -10 || x > 100);
+    }
+  }
+  return 0;
+}

regression/goto-analyzer/intervals6/test.desc

@@ -0,0 +1,8 @@
+CORE
+intervals6.c
+--intervals
+^EXIT=0$
+^SIGNAL=0$
+^\[main.assertion.1\] file intervals6.c line 7 function main, assertion x < -10 || x > 100: UNKNOWN$
+--
+^warning: ignoring

regression/goto-analyzer/intervals7/intervals7.c

@@ -0,0 +1,11 @@
+#include <assert.h>
+
+int main(){
+  int x;
+  if (x > 0) {
+    if (x < 20) {
+      assert(x < -10 && x > 100);
+    }
+  }
+  return 0;
+}

regression/goto-analyzer/intervals7/test.desc

@@ -0,0 +1,8 @@
+CORE
+intervals7.c
+--intervals
+^EXIT=0$
+^SIGNAL=0$
+^\[main.assertion.1\] file intervals7.c line 7 function main, assertion x < -10 && x > 100: UNKNOWN$
+--
+^warning: ignoring