Regression tests capturing value-set compacting

Simple variable, array element, and field in a structure. They all
compact.

Author: jezhiggins

regression/goto-analyzer/value-set-convert-to-interval/main.c renamed to regression/goto-analyzer/value-set-compact-01/main.c

@@ -1,9 +1,9 @@
-FUTURE
+CORE
 main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
 main::1::a .* value-set-begin: 0, 1, 2, 3, 4, 5, 6 :value-set-end @ \[1, 12, 15, 18, 21, 24, 26\]
 main::1::b .* value-set-begin: 20, 21, 22, 23, 24 :value-set-end @ \[3, 13, 16, 19, 22\]
-main::1::c .* \[14, 1E\] @ \[30\]
+main::1::c .* value-set-begin: 24, 25, 26, \[14, 17\], \[1B, 1E\] :value-set-end @ \[30\]
 --

regression/goto-analyzer/value-set-convert-to-interval/test.desc renamed to regression/goto-analyzer/value-set-compact-01/test.desc

@@ -0,0 +1,49 @@
+#include <stdbool.h>
+
+extern int x;
+
+int main(void)
+{
+  int a[1] = {0};
+  switch(x)
+  {
+  case 1:
+    a[0] = 1;
+    break;
+  case 2:
+    a[0] = 2;
+    break;
+  case 3:
+    a[0] = 3;
+    break;
+  case 4:
+    a[0] = 4;
+    break;
+  case 5:
+    a[0] = 5;
+    break;
+  case 6:
+    a[0] = 6;
+    break;
+  case 7:
+    a[0] = 7;
+    break;
+  case 8:
+    a[0] = 8;
+    break;
+  case 9:
+    a[0] = 9;
+    break;
+  case 10:
+    a[0] = 10;
+    break;
+  case 11:
+    a[0] = 11;
+    break;
+  case 12:
+    a[0] = 12;
+    break;
+  }
+
+  return 0;
+}

regression/goto-analyzer/value-set-compact-02/main.c

@@ -0,0 +1,7 @@
+CORE
+main.c
+--variable-sensitivity --vsd-values set-of-constants --vsd-arrays every-element --show
+^EXIT=0$
+^SIGNAL=0$
+main::1::a .* value-set-begin: 4, 5, 6, 11, 12, \[0, 3\], \[7, A\] :value-set-end @ \[1, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38\]
+--

regression/goto-analyzer/value-set-compact-02/test.desc

@@ -0,0 +1,55 @@
+#include <stdbool.h>
+
+extern int x;
+
+struct S
+{
+  int a;
+};
+
+int main(void)
+{
+  struct S a;
+  a.a = 0;
+  switch(x)
+  {
+  case 1:
+    a.a = 1;
+    break;
+  case 2:
+    a.a = 2;
+    break;
+  case 3:
+    a.a = 3;
+    break;
+  case 4:
+    a.a = 4;
+    break;
+  case 5:
+    a.a = 5;
+    break;
+  case 6:
+    a.a = 6;
+    break;
+  case 7:
+    a.a = 7;
+    break;
+  case 8:
+    a.a = 8;
+    break;
+  case 9:
+    a.a = 9;
+    break;
+  case 10:
+    a.a = 10;
+    break;
+  case 11:
+    a.a = 11;
+    break;
+  case 12:
+    a.a = 12;
+    break;
+  }
+
+  return 0;
+}

regression/goto-analyzer/value-set-compact-03/main.c

@@ -0,0 +1,7 @@
+CORE
+main.c
+--variable-sensitivity --vsd-values set-of-constants --vsd-structs every-field --show
+^EXIT=0$
+^SIGNAL=0$
+main::1::a .* \{.a=value-set-begin: 4, 5, 6, 11, 12, \[0, 3\], \[7, A\] :value-set-end @ \[1, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38\]\} .*
+--