goto-analyzer regression tests: declare malloc

Avoid unnecessary warnings about malloc not being declared. The
resulting type conflict may also trip up the analysis, and is only
worked around by inlining calls to malloc.

Author: tautschnig

regression/goto-analyzer/heap-allocation-nondet-1/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {

regression/goto-analyzer/heap-allocation-nondet-2/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {

regression/goto-analyzer/heap-allocation-nondet-3/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {

regression/goto-analyzer/heap-allocation-nondet-4/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {

regression/goto-analyzer/heap-allocation-nondet-5/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {

regression/goto-analyzer/heap-allocation-nondet-6/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {

regression/goto-analyzer/heap-allocation-write-2/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {

regression/goto-analyzer/heap-allocation-write/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {

regression/goto-analyzer/heap-allocation/main.c

@@ -1,3 +1,4 @@
+#include <stdlib.h>
 
 int main()
 {