Add additional regression tests for the memory analyzer

Author: danpoe

regression/memory-analyzer/arrays_01/main.c

@@ -0,0 +1,14 @@
+void checkpoint()
+{
+}
+
+int array[] = {1, 2, 3};
+
+int main()
+{
+  array[1] = 4;
+
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/arrays_01/test.desc

@@ -0,0 +1,6 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols array
+array = \{ 1, 4, 3 \};
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/json-output_01/main.c

@@ -0,0 +1,23 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+int *p = &x;
+
+struct S
+{
+  int c1;
+  int c2;
+};
+
+struct S st = {.c1 = 1, .c2 = 2};
+
+int a[] = {1, 2, 3};
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/json-output_01/test.desc

@@ -0,0 +1,5 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols x,p,st,a --symtab-snapshot --json-ui
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_01/main.c

@@ -0,0 +1,13 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+int *p = &x;
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_01/test.desc

@@ -0,0 +1,7 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols x,p
+x = 3;
+p = &x;
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_02/main.c

@@ -0,0 +1,13 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+int *p = &x;
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_02/test.desc

@@ -0,0 +1,5 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols p,x
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_03/main.c

@@ -0,0 +1,13 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+void *p = (void *)&x;
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_03/test.desc

@@ -0,0 +1,7 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols x,p
+x = 3;
+p = &x;
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_04/main.c

@@ -0,0 +1,14 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+int *p1 = &x;
+int **p2 = &p1;
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_04/test.desc

@@ -0,0 +1,5 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols x,p1,p2
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_05/main.c

@@ -0,0 +1,14 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+int *p1 = &x;
+int *p2 = &x;
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_05/test.desc

@@ -0,0 +1,5 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols p1,x,p2
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_06/main.c

@@ -0,0 +1,13 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+void *p = (void *)&x;
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_06/test.desc

@@ -0,0 +1,5 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols p,x
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_07/main.c

@@ -0,0 +1,13 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+int *p = &x;
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_07/test.desc

@@ -0,0 +1,5 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols p
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_08/main.c

@@ -0,0 +1,13 @@
+void checkpoint()
+{
+}
+
+int x = 3;
+void *p = (void *)&x;
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_08/test.desc

@@ -0,0 +1,5 @@
+KNOWNBUG
+main.exe
+--breakpoint checkpoint --symbols p
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/pointer_to_struct_01/main.c

@@ -0,0 +1,21 @@
+void checkpoint()
+{
+}
+
+struct S
+{
+  struct S *next;
+};
+
+struct S st;
+struct S *p;
+
+int main()
+{
+  st.next = &st;
+  p = &st;
+
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/pointer_to_struct_01/test.desc

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

regression/memory-analyzer/strings_01/main.c

@@ -0,0 +1,12 @@
+void checkpoint()
+{
+}
+
+const char *s = "abc";
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/strings_01/test.desc

@@ -0,0 +1,8 @@
+KNOWNBUG
+main.exe
+--breakpoint checkpoint --symbols s
+char tmp\[4\];
+tmp = "abc";
+s = tmp;
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/structs_01/main.c

@@ -0,0 +1,20 @@
+void checkpoint()
+{
+}
+
+struct S
+{
+  int c1;
+  int c2;
+};
+
+struct S st = {1, 2};
+
+int main()
+{
+  st.c2 = 3;
+
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/structs_01/test.desc

@@ -0,0 +1,6 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols st
+st = \{ .c1=1, .c2=3 \};
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/structs_02/main.c

@@ -0,0 +1,21 @@
+void checkpoint()
+{
+}
+
+struct S
+{
+  int c1;
+  int *c2;
+};
+
+int i = 0;
+struct S st = {1, &i};
+
+int main()
+{
+  i = 3;
+
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/structs_02/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.exe
+--breakpoint checkpoint --symbols st
+signed int tmp;
+tmp = 3;
+st = \{ .c1=1, .c2=&tmp \};
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/structs_03/main.c

@@ -0,0 +1,18 @@
+void checkpoint()
+{
+}
+
+struct S
+{
+  int c1;
+  char *c2;
+};
+
+struct S st = {1, "abc"};
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/structs_03/test.desc

@@ -0,0 +1,8 @@
+KNOWNBUG
+main.exe
+--breakpoint checkpoint --symbols st
+char tmp[4];
+tmp = "abc";
+st = \{ .c1=1, .c2=tmp \};
+^EXIT=0$
+^SIGNAL=0$

regression/memory-analyzer/structs_04/main.c

@@ -0,0 +1,18 @@
+void checkpoint()
+{
+}
+
+struct S
+{
+  int c1;
+  char c2;
+};
+
+struct S st = {1, 'x'};
+
+int main()
+{
+  checkpoint();
+
+  return 0;
+}

regression/memory-analyzer/structs_04/test.desc

@@ -0,0 +1,6 @@
+KNOWNBUG
+main.exe
+--breakpoint checkpoint --symbols st
+st = \{ .c1=1, .c2='x' \};
+^EXIT=0$
+^SIGNAL=0$