More regression tests

For unions, array, and pointers to both.

Author: Petr Bauch

regression/snapshot-harness/arrays_01/main.c

@@ -0,0 +1,29 @@
+#include <assert.h>
+
+int array[] = {1, 2, 3};
+int *p;
+int *q;
+
+void initialize()
+{
+  p = &(array[1]);
+  q = array + 1;
+  array[0] = 4;
+}
+
+void checkpoint()
+{
+}
+
+int main()
+{
+  initialize();
+  checkpoint();
+
+  assert(p == &(array[1]));
+  assert(p == q);
+  assert(*p == *q);
+  assert(array[0] != *p);
+  *p = 4;
+  assert(array[0] == *p);
+}

regression/snapshot-harness/arrays_01/test.desc

@@ -0,0 +1,13 @@
+CORE
+main.c
+array,p,q --harness-type initialise-with-memory-snapshot --initial-location main:4
+^EXIT=0$
+^SIGNAL=0$
+\[main.assertion.1\] line [0-9]+ assertion p == \&\(array\[1\]\): SUCCESS
+\[main.assertion.2\] line [0-9]+ assertion p == q: SUCCESS
+\[main.assertion.3\] line [0-9]+ assertion \*p == \*q: SUCCESS
+\[main.assertion.4\] line [0-9]+ assertion array\[0\] != \*p: SUCCESS
+\[main.assertion.5\] line [0-9]+ assertion array\[0\] == \*p: SUCCESS
+VERIFICATION SUCCESSFUL
+--
+^warning: ignoring

regression/snapshot-harness/union_01/main.c

@@ -0,0 +1,31 @@
+#include <assert.h>
+
+union Un {
+  int i;
+  float f;
+} un;
+
+int *ip;
+float *fp;
+
+void initialize()
+{
+  un.i = 1;
+  ip = &un.i;
+  fp = &un.f;
+}
+
+void checkpoint()
+{
+}
+
+int main()
+{
+  initialize();
+  checkpoint();
+
+  assert(ip == &un.i);
+  assert(*ip == un.i);
+  *fp = 2.0f;
+  assert(un.f == 2.0f);
+}

regression/snapshot-harness/union_01/test.desc

@@ -0,0 +1,11 @@
+CORE
+main.c
+un,ip,fp --harness-type initialise-with-memory-snapshot --initial-location main:4
+^EXIT=0$
+^SIGNAL=0$
+\[main.assertion.1\] line [0-9]+ assertion ip == \&un.i: SUCCESS
+\[main.assertion.2\] line [0-9]+ assertion \*ip == un.i: SUCCESS
+\[main.assertion.3\] line [0-9]+ assertion un.f == 2.0f: SUCCESS
+VERIFICATION SUCCESSFUL
+--
+^warning: ignoring