Update restrict function pointer by name regression tests

Author: danpoe

regression/goto-instrument/restrict-function-pointer-by-name-global/test.c

@@ -0,0 +1,28 @@
+#include <assert.h>
+
+int f(void)
+{
+  return 1;
+}
+
+int g(void)
+{
+  return 2;
+}
+
+int h(void)
+{
+  return 3;
+}
+
+typedef int (*fp_t)(void);
+
+fp_t fp;
+
+void main()
+{
+  int cond;
+  fp = cond ? f : g;
+  int res = fp();
+  assert(res == 1 || res == 2);
+}

regression/goto-instrument/restrict-function-pointer-by-name-global/test.desc

@@ -0,0 +1,9 @@
+CORE
+test.c
+--restrict-function-pointer-by-name fp/f,g
+\[main\.assertion\.1\] line \d+ dereferenced function pointer at main\.function_pointer_call\.1 must be one of \[(g, f)|(g, f)\]: SUCCESS
+\[main\.assertion\.2\] line \d+ assertion res == 1 \|\| res == 2: SUCCESS
+^EXIT=0$
+^SIGNAL=0$
+--
+--

regression/goto-instrument/restrict-function-pointer-by-name-local/test.c

@@ -0,0 +1,19 @@
+#include <assert.h>
+
+int f(void)
+{
+  return 1;
+}
+
+int g(void)
+{
+  return 2;
+}
+
+typedef int (*fp_t)(void);
+
+void main()
+{
+  fp_t fp = f;
+  assert(fp() == 1);
+}

regression/goto-instrument/restrict-function-pointer-by-name-local/test.desc

@@ -0,0 +1,9 @@
+CORE
+test.c
+--restrict-function-pointer-by-name main::1::fp/f
+\[main\.assertion\.1\] line \d+ dereferenced function pointer at main\.function_pointer_call\.1 must be f: SUCCESS
+\[main\.assertion\.2\] line \d+ assertion fp\(\) == 1: SUCCESS
+^EXIT=0$
+^SIGNAL=0$
+--
+--

regression/goto-instrument/restrict-function-pointer-by-name-parameter/test.c

@@ -0,0 +1,23 @@
+#include <assert.h>
+
+int f(void)
+{
+  return 1;
+}
+
+int g(void)
+{
+  return 2;
+}
+
+typedef int (*fp_t)(void);
+
+void use_fp(fp_t fp)
+{
+  assert(fp() == 2);
+}
+
+void main()
+{
+  use_fp(g);
+}

regression/goto-instrument/restrict-function-pointer-by-name-parameter/test.desc

@@ -0,0 +1,9 @@
+CORE
+test.c
+--restrict-function-pointer-by-name use_fp::fp/g
+\[use_fp\.assertion\.1\] line \d+ dereferenced function pointer at use_fp\.function_pointer_call\.1 must be g: SUCCESS
+\[use_fp\.assertion\.2\] line \d+ assertion fp\(\) == 2: SUCCESS
+^EXIT=0$
+^SIGNAL=0$
+--
+--