Adds slice24 test.

Author: klaas

regression/goto-instrument/slice24/main.c

@@ -0,0 +1,14 @@
+#include <assert.h>
+#include <stdlib.h>
+
+static void f(int *x) { *x = 5; }
+static void g(int *x) { assert(*x == 5); }
+
+int main(int argc, char **argv)
+{
+  int *x = (int*)malloc(sizeof(int));
+  f(x);
+  g(x);
+
+  return 0;
+}

regression/goto-instrument/slice24/test.desc

@@ -0,0 +1,8 @@
+KNOWNBUG
+main.c
+--full-slice --add-library
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+Data dependencies across function calls are still not working correctly.