Ensure symex and goto-analyzer regenerate functions

Author: thk123

src/goto-programs/initialize_goto_model.cpp

@@ -21,6 +21,8 @@ Author: Daniel Kroening, [email protected]
 #include <langapi/mode.h>
 #include <langapi/language_ui.h>
 
+#include <goto-programs/rebuild_goto_start_function.h>
+
 #include "goto_convert_functions.h"
 #include "read_goto_binary.h"
 
@@ -131,6 +133,20 @@ bool initialize_goto_model(
         return true;
     }
 
+    if(cmdline.isset("function"))
+    {
+      const std::string &function_id=cmdline.get_value("function");
+      rebuild_goto_start_functiont start_function_rebuilder(
+        msg.get_message_handler(),
+        goto_model.symbol_table,
+        goto_model.goto_functions);
+
+      if(start_function_rebuilder(function_id))
+      {
+        return 6;
+      }
+    }
+
     msg.status() << "Generating GOTO Program" << messaget::eom;
 
     goto_convert(