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

@@ -175,18 +175,6 @@ void function_call_harness_generatort::handle_option(
     p_impl->function_parameters_to_treat_as_cstrings.insert(
       values.begin(), values.end());
   }
-  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

@@ -74,6 +74,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;
 }