Added regression tests for arrays and the main function

The array ones fail as don't initalise arrays to anything other than NULL
The main fails as we try to assign &argv ' to params which is at best a type mismatch

Author: thk123

regression/test-c-gen/array1/main.c

@@ -0,0 +1,5 @@
+
+int fun(int array[5])
+{
+  return array[1] + array[4];
+}

regression/test-c-gen/array1/test.desc

@@ -0,0 +1,28 @@
+CORE
+main.c
+--function fun --cover branch --gen-c-test-case
+^EXIT=0$
+^SIGNAL=0$
+^#include <assert\.h>$
+^#include <stdio\.h>$
+^#include <stdlib\.h>$
+
+^#include "main\.c"$
+^int test_main(int argc, char\* argv)$
+^\{$
+^  signed int \* arg_fun_array = ((signed int \*)NULL);$
+
+^  signed int arg_fun_array\[\] = {1, 2, 3, 4, 5};$
+
+^  signed int ret_fun;$
+^  ret_fun = fun();$
+
+^  assert(ret_fun == 7);$
+^  exit(0);$
+^\}$
+^  return 0;$
+^\}$
+
+
+--
+^warning: ignoring

regression/test-c-gen/array2/main.c

@@ -0,0 +1,4 @@
+int fun(int array[])
+{
+  return array[1] + array[4];
+}

regression/test-c-gen/array2/test.desc

@@ -0,0 +1,28 @@
+CORE
+main.c
+--function fun --cover branch --gen-c-test-case
+^EXIT=0$
+^SIGNAL=0$
+^#include <assert\.h>$
+^#include <stdio\.h>$
+^#include <stdlib\.h>$
+
+^#include "main\.c"$
+^int test_main(int argc, char\* argv)$
+^\{$
+^  signed int \* arg_fun_array = ((signed int \*)NULL);$
+
+^  signed int arg_fun_array\[\] = {1, 2, 3, 4, 5};$
+
+^  signed int ret_fun;$
+^  ret_fun = fun();$
+
+^  assert(ret_fun == 7);$
+^  exit(0);$
+^\}$
+^  return 0;$
+^\}$
+
+
+--
+^warning: ignoring

regression/test-c-gen/main_call1/main.c

@@ -0,0 +1,6 @@
+//int fun(int* array[])
+int main(int argc, char* params[])
+{
+  //return (*array[1]) + (*array[4]);
+	return 45;
+}

regression/test-c-gen/main_call1/test.desc

@@ -0,0 +1,26 @@
+CORE
+main.c
+--function main --cover branch --gen-c-test-case
+^EXIT=0$
+^SIGNAL=0$
+^#include <assert\.h>$
+^#include <stdio\.h>$
+^#include <stdlib\.h>$
+
+^#include "main\.c"$
+^int test_main(int argc, char\* argv)$
+^\{$
+^  signed int arg_main_argc = 4098;$
+^  char \*\*arg_main_params = ((char \*\*)NULL);$
+^  signed int ret_main;$
+^  ret_main = main(arg_main_argc, arg_main_params);$
+
+^  assert(ret_main == 45);$
+^  exit(0);$
+^\}$
+^  return 0;$
+^\}$
+
+
+--
+^warning: ignoring