Added regression test for the fixed bug.

Author: marek-trtik

regression/goto-instrument/slice24/main.c

@@ -0,0 +1,26 @@
+#include <assert.h>
+#include <malloc.h>
+
+struct rrr
+{
+    char j;
+    int y;
+};
+
+void foo(struct rrr *r)
+{
+    r->j = 1;
+}
+
+int main(int argc, char* argv[])
+{
+    struct rrr* r=malloc(sizeof(struct rrr));
+    foo(r);
+    if (r->j==1)
+    {
+        assert(1);
+        return 0;
+    }
+    return -1;
+}
+

regression/goto-instrument/slice24/test.desc

@@ -0,0 +1,6 @@
+CORE
+main.c
+--full-slice --add-library
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$