List all candidate functions for a function pointer at debug verbosity

Author: tautschnig

src/goto-programs/remove_function_pointers.cpp

@@ -429,6 +429,26 @@ void remove_function_pointerst::remove_function_pointer(
   statistics().source_location=target->source_location;
   statistics() << "replacing function pointer by "
                << functions.size() << " possible targets" << eom;
+
+  // list the names of functions when verbosity is at debug level
+  if(get_message_handler().get_verbosity() >= M_DEBUG)
+  {
+    debug() << "targets: ";
+
+    bool first = true;
+    for(const auto &function : functions)
+    {
+      if(!first)
+      {
+        debug() << ", ";
+      }
+
+      debug() << function.get_identifier();
+      first = false;
+    }
+
+    debug() << eom;
+  }
 }
 
 bool remove_function_pointerst::remove_function_pointers(