Merge pull request #1 from thk123/no-inline-start-function-calls

Do not partially inline functions called from _start

This allows us to unambiguously identify the binding of the arguments 
to the parameters of entry point function.

Author: peterschrammel

src/goto-programs/goto_inline.cpp

@@ -826,8 +826,17 @@ void goto_partial_inline(
         it=goto_functions.function_map.begin();
         it!=goto_functions.function_map.end();
         it++)
-      if(it->second.body_available())
+    {
+      // We can't take functions without bodies to find functions
+      // inside them to be inlined.
+      // We also don't allow for the _start function to have any of its
+      // function calls to be inlined
+      if(it->second.body_available() &&
+        it->first!=ID__start)
+      {
         goto_inline.goto_inline_rec(it, false);
+      }
+    }
   }
 
   catch(int)