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. And the gdb does not
seem to work on OSX so we skip that build in CI.

Author: petr-bauch

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/pointer_to_struct_01/test.desc

@@ -2,8 +2,7 @@ CORE
 main.gb
 --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$

src/Makefile

@@ -17,7 +17,6 @@ DIRS = analyses \
        json-symtab-language \
        langapi \
        linking \
-       memory-analyzer \
        pointer-analysis \
        solvers \
        symtab2gb \