Fix memory-analyzer regression tests

The make-builds did not refer to the goto-gcc correctly. Also the result of
pointer_to_struct test change, but it is consistent now.

Author: petr-bauch

regression/memory-analyzer/CMakeLists.txt

@@ -1,3 +1,4 @@
 add_test_pl_tests(
   "../chain.sh \
-   $<TARGET_FILE:memory-analyzer>")
+   $<TARGET_FILE:memory-analyzer> \
+   ../../../build/bin/goto-gcc")

regression/memory-analyzer/Makefile

@@ -1,7 +1,7 @@
 default: clean tests.log
 
-GOTO_GCC_EXE=../../../src/goto-cc/goto-gcc
 MEMORY_ANALYZER_EXE=../../../src/memory-analyzer/memory-analyzer
+GOTO_GCC_EXE=../../../src/goto-cc/goto-gcc
 
 clean:
 	find -name '*.exe' -execdir $(RM) '{}' \;

regression/memory-analyzer/chain.sh

@@ -2,7 +2,7 @@
 
 set -e
 
-#goto_gcc="../../../build/bin/goto-gcc"
+#goto_gcc=../../build/bin/goto-gcc
 memory_analyzer=$1
 goto_gcc=$2
 name=${*:$#}

regression/memory-analyzer/pointer_to_struct_01/test.desc

@@ -2,8 +2,7 @@ CORE
 main.exe
 --breakpoint checkpoint --symbols p
 struct S tmp;
-tmp = \{ \.next=\(\(struct S \*\)(NULL|0)\) \};
-p = &tmp;
-p->next = &tmp;
+tmp = \{ \.next=\(\(struct S \*\)0\) \};
+p = \&tmp;
 ^EXIT=0$
 ^SIGNAL=0$