Add more tests.

Add a test to make sure that we can distinguish between
a parameter and a global function pointer variable with
the same name and a test to make sure that we get
different type constructors for the same type but with
extra attributes.

Author: NlightNFotis

regression/goto-harness/mixed-constructors/test.c

@@ -0,0 +1,5 @@
+void entry_point(int *array_with_size, int size, int *array_without_size)
+{
+  assert(array_with_size != (void *)0);
+  assert(array_with_size != (void *)0);
+}

regression/goto-harness/mixed-constructors/test.desc

@@ -0,0 +1,8 @@
+CORE
+test.c
+--function entry_point --harness-type call-function --associated-array-size array_with_size:size
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+call to '\w+': not enough arguments, inserting non-deterministic value

regression/goto-harness/parameter_and_global_variable_distinction/test.c

@@ -0,0 +1,18 @@
+#include <assert.h>
+
+typedef int (*fptr_t)(void);
+
+fptr_t f;
+
+int call_f()
+{
+  assert(f != ((void *)0));
+  return f();
+}
+
+void function(fptr_t f)
+{
+  if(f != ((void *)0))
+    assert(f() == call_f());
+  assert(f != ((void *)0));
+}

regression/goto-harness/parameter_and_global_variable_distinction/test.desc

@@ -0,0 +1,10 @@
+CORE
+test.c
+--harness-type call-function --function function --function-pointer-can-be-null function::f
+^EXIT=10$
+^SIGNAL=0$
+\[function.assertion.1\] line \d+ assertion f\(\) == call_f\(\): SUCCESS
+\[function.assertion.2\] line \d+ assertion f != \(\(void \*\)0\): FAILURE
+\[call_f.assertion.1\] line \d+ assertion f != \(\(void \*\)0\): SUCCESS
+--
+^warning: ignoring