Test confirming dereferencing a pointer to an indeterminate value

Test uses intervals. Value-sets should also work but we can't write
that test yet as we needs more work on asserting value-set equality.

Author: jezhiggins

regression/goto-analyzer/pointer-dereference-indeterminate-values/main.c

@@ -0,0 +1,16 @@
+#include <assert.h>
+
+int main()
+{
+  int unknown;
+  int a = 10;
+
+  int *p = &a;
+
+  if(unknown)
+    a = 15;
+
+  int q = *p;
+
+  assert(q == a);
+}

regression/goto-analyzer/pointer-dereference-indeterminate-values/test-intervals-constants.desc

@@ -0,0 +1,7 @@
+CORE
+main.c
+--verify --variable-sensitivity --vsd-values intervals --vsd-pointers constants
+^\[main.assertion.1\] line 15 assertion q == a: SUCCESS
+^EXIT=0$
+^SIGNAL=0$
+--

regression/goto-analyzer/pointer-dereference-indeterminate-values/test-intervals-top-bottom.desc

@@ -0,0 +1,7 @@
+CORE
+main.c
+--verify --variable-sensitivity --vsd-values intervals --vsd-pointers top-bottom
+^\[main.assertion.1\] line 15 assertion q == a: UNKNOWN
+^EXIT=0$
+^SIGNAL=0$
+--

regression/goto-analyzer/pointer-dereference-indeterminate-values/test-intervals-value-sets.desc

@@ -0,0 +1,7 @@
+CORE
+main.c
+--verify --variable-sensitivity --vsd-values intervals --vsd-pointers value-set
+^\[main.assertion.1\] line 15 assertion q == a: SUCCESS
+^EXIT=0$
+^SIGNAL=0$
+--