Use ID_main as the default name for entry function

Rather than have a parameter which specifies the entry function, use the
appropriate ID. This saves having three seperate places with the string
"main" hard coded.

Author: thk123

src/ansi-c/ansi_c_entry_point.cpp

@@ -121,7 +121,6 @@ void record_function_outputs(
 
 bool ansi_c_entry_point(
   symbol_tablet &symbol_table,
-  const std::string &standard_main,
   message_handlert &message_handler)
 {
   // check if entry point is already there
@@ -168,7 +167,7 @@ bool ansi_c_entry_point(
     main_symbol=matches.front();
   }
   else
-    main_symbol=standard_main;
+    main_symbol=ID_main;
 
   // look it up
   symbol_tablet::symbolst::const_iterator s_it=

src/ansi-c/ansi_c_entry_point.h

@@ -15,7 +15,6 @@ Author: Daniel Kroening, [email protected]
 
 bool ansi_c_entry_point(
   symbol_tablet &symbol_table,
-  const std::string &standard_main,
   message_handlert &message_handler);
 
 bool generate_ansi_c_start_function(

src/ansi-c/ansi_c_language.cpp

@@ -143,8 +143,7 @@ bool ansi_c_languaget::typecheck(
 bool ansi_c_languaget::final(symbol_tablet &symbol_table)
 {
   generate_opaque_method_stubs(symbol_table);
-
-  if(ansi_c_entry_point(symbol_table, "main", get_message_handler()))
+  if(ansi_c_entry_point(symbol_table, get_message_handler()))
     return true;
 
   return false;

src/cpp/cpp_language.cpp

@@ -152,7 +152,7 @@ bool cpp_languaget::typecheck(
 
 bool cpp_languaget::final(symbol_tablet &symbol_table)
 {
-  if(ansi_c_entry_point(symbol_table, "main", get_message_handler()))
+  if(ansi_c_entry_point(symbol_table, get_message_handler()))
     return true;
 
   return false;

src/goto-cc/compile.cpp

@@ -368,7 +368,7 @@ bool compilet::link()
     symbol_table.remove(goto_functionst::entry_point());
     compiled_functions.function_map.erase(goto_functionst::entry_point());
 
-    if(ansi_c_entry_point(symbol_table, "main", get_message_handler()))
+    if(ansi_c_entry_point(symbol_table, get_message_handler()))
       return true;
 
     // entry_point may (should) add some more functions.