Further liveness regression tests

Author: jezhiggins

regression/goto-analyzer/liveness-loop/main.c

@@ -0,0 +1,12 @@
+int main()
+{
+  int non_det;
+  int x = 0;
+
+  for(int i = 0; i != 5; ++i)
+  {
+    int y = 0;
+    x++;
+    y = 1;
+  }
+}

regression/goto-analyzer/liveness-loop/test-liveness.desc

@@ -0,0 +1,10 @@
+CORE
+main.c
+--variable-sensitivity --vsd-values set-of-constants --vsd-liveness --show
+^EXIT=0$
+^SIGNAL=0$
+^main::1::x .* TOP @ \[1\]
+^main::1::x .* value-set-begin: 0 :value-set-end @ \[2\]
+^main::1::x .* value-set-begin: 1, 2, 3, 4, 5 :value-set-end @ \[9\]
+^main::1::x .* value-set-begin: 0, 1, 2, 3, 4, 5 :value-set-end @ \[5\]
+--

regression/goto-analyzer/liveness-loop/test-write-location.desc

@@ -0,0 +1,10 @@
+CORE
+main.c
+--variable-sensitivity --vsd-values set-of-constants --show
+^EXIT=0$
+^SIGNAL=0$
+^main::1::x .* TOP @ \[1\]
+^main::1::x .* value-set-begin: 0 :value-set-end @ \[2\]
+^main::1::x .* value-set-begin: 1, 2, 3, 4, 5 :value-set-end @ \[8\]
+^main::1::x .* value-set-begin: 0, 1, 2, 3, 4, 5 :value-set-end @ \[2, 8\]
+--

regression/goto-analyzer/liveness-pointer-write-through/main.c

@@ -0,0 +1,11 @@
+int main()
+{
+  int non_det;
+  int x = 0;
+  int *p = &x;
+
+  if(non_det)
+    *p = 2;
+  else
+    *p = 3;
+}

regression/goto-analyzer/liveness-pointer-write-through/test-liveness.desc

@@ -0,0 +1,11 @@
+CORE
+main.c
+--variable-sensitivity --vsd-values set-of-constants --vsd-pointers constants --vsd-liveness --show
+^EXIT=0$
+^SIGNAL=0$
+^main::1::x .* TOP @ \[1\]
+^main::1::x .* value-set-begin: 0 :value-set-end @ \[2\]
+^main::1::x .* value-set-begin: 2, 3 :value-set-end @ \[9\]
+^main::1::p .* TOP @ \[3\]
+^main::1::p .*\(main::1::x\) @ \[4\]
+--

regression/goto-analyzer/liveness-pointer-write-through/test-write-location.desc

@@ -0,0 +1,11 @@
+CORE
+main.c
+--variable-sensitivity --vsd-values set-of-constants --vsd-pointers constants --show
+^EXIT=0$
+^SIGNAL=0$
+^main::1::x .* TOP @ \[1\]
+^main::1::x .* value-set-begin: 0 :value-set-end @ \[2\]
+^main::1::x .* value-set-begin: 2, 3 :value-set-end @ \[6, 8\]
+^main::1::p .* TOP @ \[3\]
+^main::1::p .*\(main::1::x\) @ \[4\]
+--

regression/goto-analyzer/liveness/test-liveness.desc

@@ -3,5 +3,7 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --vsd-liveness --show
 ^EXIT=0$
 ^SIGNAL=0$
+^main::1::x .* TOP @ \[1\]
+^main::1::x .* value-set-begin: 0 :value-set-end @ \[2\]
 ^main::1::x .* value-set-begin: 2, 3 :value-set-end @ \[7\]
 --

regression/goto-analyzer/liveness/test-write-location.desc

@@ -3,5 +3,7 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
+^main::1::x .* TOP @ \[1\]
+^main::1::x .* value-set-begin: 0 :value-set-end @ \[2\]
 ^main::1::x .* value-set-begin: 2, 3 :value-set-end @ \[4, 6\]
 --

src/analyses/variable-sensitivity/liveness_context.cpp

@@ -10,7 +10,7 @@
 
 abstract_objectt::locationt liveness_contextt::get_location() const
 {
-  return *assign_location;
+  return assign_location.has_value() ? assign_location.value() : locationt();
 }
 
 /**
@@ -164,7 +164,7 @@ void liveness_contextt::output(
   if(assign_location.has_value())
     out << " @ [" << assign_location.value()->location_number << "]";
   else
-    out << " @ [merge-point]";
+    out << " @ [undefined]";
 }
 
 /**