Add test for checking when no size parameter specified correct type is used

To ensure that the issue is fixed.

Author: Thomas Kiley

regression/goto-harness/array-types/example.c

@@ -0,0 +1,4 @@
+void test(signed int *arr)
+{
+  arr[0l] = 5;
+}

regression/goto-harness/array-types/test.desc

@@ -0,0 +1,11 @@
+CORE
+example.c
+--harness-type call-function --function test --treat-pointer-as-array arr
+VERIFICATION SUCCESSFUL
+^EXIT=0$
+^SIGNAL=0$
+type_constructor_ptr_int\(0, &arr, \(signed int \*\)\(void \*\)0\);
+--
+incompatible pointer types
+--
+Ensure that the function pointer types match