Always allow the main function not to have a body

Author: NathanJPhillips

src/java_bytecode/ci_lazy_methods.cpp

@@ -73,7 +73,7 @@ bool ci_lazy_methodst::operator()(
   std::vector<irep_idt> method_worklist2;
 
   main_function_resultt main_function =
-    get_main_symbol(symbol_table, main_class, get_message_handler(), true);
+    get_main_symbol(symbol_table, main_class, get_message_handler());
   if(!main_function.is_success())
   {
     // Failed, mark all functions in the given main class(es)

src/java_bytecode/java_entry_point.cpp

@@ -321,8 +321,7 @@ void java_record_outputs(
 main_function_resultt get_main_symbol(
   const symbol_table_baset &symbol_table,
   const irep_idt &main_class,
-  message_handlert &message_handler,
-  bool allow_no_body)
+  message_handlert &message_handler)
 {
   messaget message(message_handler);
 
@@ -348,14 +347,6 @@ main_function_resultt get_main_symbol(
       symbol != nullptr,
       "resolve_friendly_method_name should return a symbol-table identifier");
 
-    // check if it has a body
-    if(symbol->value.is_nil() && !allow_no_body)
-    {
-      message.error()
-        << "main method `" << main_class << "' has no body" << messaget::eom;
-      return main_function_resultt::Error;
-    }
-
     return *symbol; // Return found function
   }
   else
@@ -395,18 +386,7 @@ main_function_resultt get_main_symbol(
       return main_function_resultt::Error;  // give up with error, no main
     }
 
-    // function symbol
-    const symbolt &symbol = **matches.begin();
-
-    // check if it has a body
-    if(symbol.value.is_nil() && !allow_no_body)
-    {
-      message.error()
-        << "main method `" << main_class << "' has no body" << messaget::eom;
-      return main_function_resultt::Error;  // give up with error
-    }
-
-    return symbol; // Return found function
+    return **matches.begin(); // Return found function
   }
 }
 
@@ -464,7 +444,6 @@ bool java_entry_point(
     return true;
   symbolt symbol=res.main_function;
 
-  assert(!symbol.value.is_nil());
   assert(symbol.type.id()==ID_code);
 
   create_initialize(symbol_table);

src/java_bytecode/java_entry_point.h

@@ -63,8 +63,7 @@ struct main_function_resultt
 main_function_resultt get_main_symbol(
   const symbol_table_baset &symbol_table,
   const irep_idt &main_class,
-  message_handlert &,
-  bool allow_no_body = false);
+  message_handlert &);
 
 bool generate_java_start_function(
   const symbolt &symbol,