cleanout

Author: Daniel Kroening

src/goto-cc/ld_mode.cpp

@@ -339,7 +339,7 @@ int ld_modet::doit()
   if(cmdline.isset("version"))
   {
     if(produce_hybrid_binary)
-      return run_gcc(compiler);
+      return run_ld(compiler);
 
     std::cout << '\n' <<
       "Copyright (C) 2006-2014 Daniel Kroening, Christoph Wintersteiger\n" <<
@@ -356,7 +356,7 @@ int ld_modet::doit()
     cmdline.isset("print-sysroot-headers-suffix"))
   {
     if(produce_hybrid_binary)
-      return run_gcc(compiler);
+      return run_ld(compiler);
 
     // GCC will only print one of these, even when multiple arguments are
     // passed, so we do the same
@@ -484,7 +484,7 @@ int ld_modet::doit()
 
   if(compiler.source_files.empty() &&
      compiler.object_files.empty())
-    return run_gcc(compiler); // exit!
+    return run_ld(compiler); // exit!
 
   // do all the rest
   if(compiler.doit())
@@ -498,7 +498,7 @@ int ld_modet::doit()
   return EX_OK;
 }
 
-int ld_modet::run_gcc(const compilet &compiler)
+int ld_modet::run_ld(const compilet &compiler)
 {
   PRECONDITION(!cmdline.parsed_argv.empty());
 
@@ -580,7 +580,7 @@ int ld_modet::gcc_hybrid_binary(compilet &compiler)
   }
   objcopy_cmd+="objcopy";
 
-  int result=run_gcc(compiler);
+  int result=run_ld(compiler);
 
   if(result==0)
   {

src/goto-cc/ld_mode.h

@@ -44,8 +44,8 @@ class ld_modet:public goto_cc_modet
   /// \brief Associate CBMC architectures with processor names
   const std::map<std::string, std::set<std::string>> arch_map;
 
-  /// \brief call gcc with original command line
-  int run_gcc(const compilet &compiler);
+  /// \brief call ld with original command line
+  int run_ld(const compilet &compiler);
 
   int gcc_hybrid_binary(compilet &compiler);
 };