test for function pointer removal

Author: Daniel Kroening

regression/cbmc/Function_Pointer18/main.c

@@ -0,0 +1,13 @@
+void (*my_ptr)();
+
+void my_f()
+{
+  asm("mfence");
+  my_ptr=my_f;
+}
+
+int main()
+{
+  void (*nondet)();
+  nondet();
+}

regression/cbmc/Function_Pointer18/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+--unwind 1
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring