Move function-pointer-can-be-null option handling.

Move it to recursive_initialization_configt because
it's a common option.

Author: NlightNFotis

src/goto-harness/function_call_harness_generator.cpp

@@ -196,6 +196,18 @@ void function_call_harness_generatort::handle_option(
           .end()),
       [](const std::string &opt) -> irep_idt { return irep_idt{opt}; });
   }
+  else if(option == COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT)
+  {
+    std::transform(
+      values.begin(),
+      values.end(),
+      std::inserter(
+        p_impl->recursive_initialization_config
+          .potential_null_function_pointers,
+        p_impl->recursive_initialization_config.potential_null_function_pointers
+          .end()),
+      [](const std::string &opt) -> irep_idt { return irep_idt{opt}; });
+  }
   else
   {
     throw invalid_command_line_argument_exceptiont{

src/goto-harness/recursive_initialization.cpp

@@ -21,6 +21,7 @@ Author: Diffblue Ltd.
 #include <util/string2int.h>
 
 #include <functional>
+#include <iterator>
 
 bool recursive_initialization_configt::handle_option(
   const std::string &option,
@@ -74,6 +75,17 @@ bool recursive_initialization_configt::handle_option(
       COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT, values);
     return true;
   }
+  else if(option == COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT)
+  {
+    std::transform(
+      values.begin(),
+      values.end(),
+      std::inserter(
+        potential_null_function_pointers,
+        potential_null_function_pointers.end()),
+      [](const std::string &opt) -> irep_idt { return irep_idt{opt}; });
+    return true;
+  }
   return false;
 }