Update existing memory analyzer regression tests

This adds an updated chain.sh file, and disables the existing regression tests.
They currently fail due to two issues: goto code to c conversion currently
ignores array sizes (i.e., even int arrays of known sizes are output as int[]),
and void pointers are not handled (i.e., analyze_symbol() may try to zero
initialize an object of type void, yielding an invariant violation).

Author: danpoe

regression/memory-analyzer/Makefile

@@ -7,11 +7,11 @@ clean:
 
 test:
 	-@ln -s goto-cc ../../src/goto-cc/goto-gcc
-	@../test.pl -p -c ../compile_example.sh
+	@../test.pl -p -c ../chain.sh
 
 tests.log: ../test.pl
 	-@ln -s goto-cc ../../src/goto-cc/goto-gcc
-	@../test.pl -p -c ../compile_example.sh
+	@../test.pl -p -c ../chain.sh
 
 show:
 	@for dir in *; do \

regression/memory-analyzer/arrays/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 arrays.exe
 --breakpoint manipulate_data --symbols test_struct
 analyzing symbol: test_struct
@@ -20,5 +20,5 @@ GENERATED CODE:
     \{ .text=\(char \*\)&_test_struct_childs3_options1_text_5 \} \} \} \} \};
   test_struct = &test_struct_0;
 \}
---
---
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/chain.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+
+MEMORY_ANALYZER="../../../src/memory-analyzer/memory-analyzer"
+
+set -e
+
+NAME=${*:$#}
+NAME=${NAME%.exe}
+
+../../../src/goto-cc/goto-gcc -g -std=c11 -o $NAME.exe $NAME.c
+$MEMORY_ANALYZER $@

regression/memory-analyzer/compile_example.sh

@@ -1,20 +1,16 @@
-CORE
+FUTURE
 cycles.exe
 --breakpoint process_buffer --symbols buffer
-analyzing symbol: buffer
-GENERATED CODE: 
-\{
-  char _buffer_start_data_1\[\]="snow";
-  char __buffer_start_next_data_3\[\]="sun";
-  char ___buffer_start_next_next_data_5\[\]="rain";
-  char ____buffer_start_next_next_next_data_7\[\]="thunder storm";
-  struct cycle_buffer_entry ___buffer_start_next_next_next_6=\{ .data=\(char \*\)&____buffer_start_next_next_next_data_7, .next=\(\(struct cycle_buffer_entry \*\)NULL\) \};
-  struct cycle_buffer_entry __buffer_start_next_next_4=\{ .data=\(char \*\)&___buffer_start_next_next_data_5, .next=&___buffer_start_next_next_next_6 \};
-  struct cycle_buffer_entry _buffer_start_next_2=\{ .data=\(char \*\)&__buffer_start_next_data_3, .next=&__buffer_start_next_next_4 \};
-  struct cycle_buffer_entry buffer_start_0=\{ .data=\(char \*\)&_buffer_start_data_1, .next=&_buffer_start_next_2 \};
-  buffer.start = &buffer_start_0;
-  buffer.end = &___buffer_start_next_next_next_6;
-  \(\*\(\*\(\*\(\*buffer.start\).next\).next\).next\).next = &buffer_start_0;
-\}
---
---
+char buffer_start__data_1\[\]="snow";
+char buffer_start__next__data_3\[\]="sun";
+char buffer_start__next__next__data_5\[\]="rain";
+char buffer_start__next__next__next__data_7\[\]="thunder storm";
+struct cycle_buffer_entry buffer_start__next__next__next_6\=\{ \.data\=\(char \*\)&buffer_start__next__next__next__data_7, \.next\=\(\(struct cycle_buffer_entry \*\)NULL\) \};
+struct cycle_buffer_entry buffer_start__next__next_4\=\{ \.data\=\(char \*\)&buffer_start__next__next__data_5, \.next\=&buffer_start__next__next__next_6 \};
+struct cycle_buffer_entry buffer_start__next_2\=\{ \.data\=\(char \*\)&buffer_start__next__data_3, \.next\=&buffer_start__next__next_4 \};
+cycle_buffer_entry_t buffer_start_0\=\{ \.data\=\(char \*\)&buffer_start__data_1, \.next\=&buffer_start__next_2 \};
+buffer\.start \= &buffer_start_0;
+buffer\.end \= &buffer_start__next__next__next_6;
+buffer\.start\-\>next\-\>next\-\>next\-\>next \= &buffer_start_0;
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/cycles/test.desc

@@ -1,27 +1,5 @@
-CORE
+FUTURE
 primitive_types.exe
 --breakpoint my_function --symbols e,f,f_1,d,g,h
-analyzing symbol: e
-analyzing symbol: f
-analyzing symbol: f_1
-analyzing symbol: d
-analyzing symbol: g
-analyzing symbol: h
-GENERATED CODE: 
-\{
-  e = 17;
-  f = &e;
-  f_1 = &e;
-  char d_b_0\[\]="test2";
-  d.a = 4;
-  d.b = \(char \*\)&d_b_0;
-  d.c = -32;
-  struct mapping_things g_1=\{ .a=0, .b=\(\(char \*\)NULL\), .c=0 \};
-  g = &g_1;
-  char h_2\[\]="test";
-  h = \(char \*\)&h_2;
-}
-^EXIT=0
-^SIGNAL=0
---
---
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/primitive_types/test.desc

@@ -1,16 +1,5 @@
-CORE
+KNOWNBUG
 void_pointer.exe
 --breakpoint void_pointer.c:17 --symbols a_void_pointer,a_second_void_pointer,a_third_void_pointer,blob
-analyzing symbol: blob
-GENERATED CODE: 
-\{
-  a_void_pointer = NULL;
-  char char_a_second_void_pointer_0\[\]="test_string";
-  a_second_void_pointer = \(char \*\)&char_a_second_void_pointer_0;
-  char char_a_third_void_pointer_1\[\]=\{ -13, -13, 'H', -1, '\\\\', '\\\\', -1 \};
-  a_third_void_pointer = \(char \*\)&char_a_third_void_pointer_1;
-  blob.size = 7;
-  blob.data = \(char \*\)&char_a_third_void_pointer_1;
-\}
---
---
+^EXIT=0$
+^SIGNAL=0$