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/Makefile

@@ -1,6 +1,5 @@
 default: clean tests.log
 
-GOTO_GCC_EXE=../../../src/goto-cc/goto-gcc
 MEMORY_ANALYZER_EXE=../../../src/memory-analyzer/memory-analyzer
 
 clean:
@@ -9,10 +8,10 @@ clean:
 	$(RM) tests.log
 
 test:
-	@../test.pl -e -p -c "../chain.sh $(MEMORY_ANALYZER_EXE) $(GOTO_GCC_EXE)"
+	@../test.pl -e -p -c "../chain.sh $(MEMORY_ANALYZER_EXE)"
 
 tests.log: ../test.pl
-	@../test.pl -e -p -c "../chain.sh $(MEMORY_ANALYZER_EXE) $(GOTO_GCC_EXE)"
+	@../test.pl -e -p -c "../chain.sh $(MEMORY_ANALYZER_EXE)"
 
 show:
 	@for dir in *; do \

regression/memory-analyzer/chain.sh

@@ -2,12 +2,12 @@
 
 set -e
 
-#goto_gcc="../../../build/bin/goto-gcc"
+goto_gcc=../../../build/bin/goto-gcc
 memory_analyzer=$1
-goto_gcc=$2
+#goto_gcc=$2
 name=${*:$#}
 name=${name%.exe}
-args=${*:3:$#-3}
+args=${*:2:$#-2}
 
 $goto_gcc -g -std=c11 -o "${name}.exe" "${name}.c"
 $memory_analyzer $args "${name}.exe"

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$