add separate path for ld

Author: Daniel Kroening

src/goto-cc/Makefile

@@ -13,6 +13,7 @@ SRC = armcc_cmdline.cpp \
       goto_cc_main.cpp \
       goto_cc_mode.cpp \
       ld_cmdline.cpp \
+      ld_mode.cpp \
       linker_script_merge.cpp \
       ms_cl_cmdline.cpp \
       ms_cl_mode.cpp \

src/goto-cc/goto_cc_main.cpp

@@ -25,11 +25,12 @@ Date: May 2006
 #include "as_cmdline.h"
 #include "as86_cmdline.h"
 
-#include "gcc_mode.h"
-#include "cw_mode.h"
-#include "ms_cl_mode.h"
 #include "armcc_mode.h"
 #include "as_mode.h"
+#include "cw_mode.h"
+#include "gcc_mode.h"
+#include "ld_mode.h"
+#include "ms_cl_mode.h"
 
 std::string to_lower_string(const std::string &s)
 {
@@ -106,8 +107,8 @@ int main(int argc, const char **argv)
   {
     // this simulates "ld" for linking
     ld_cmdlinet cmdline;
-    gcc_modet gcc_mode(cmdline, base_name, true);
-    return gcc_mode.main(argc, argv);
+    ld_modet ld_mode(cmdline, base_name);
+    return ld_mode.main(argc, argv);
   }
   else if(base_name.find("goto-bcc")!=std::string::npos)
   {

src/goto-cc/ld_mode.cpp

@@ -0,0 +1,301 @@
+/*******************************************************************\
+
+Module: LD Mode
+
+Author: CM Wintersteiger, 2006
+
+\*******************************************************************/
+
+/// \file
+/// LD Mode
+
+#include "ld_mode.h"
+
+#ifdef _WIN32
+#define EX_OK 0
+#define EX_USAGE 64
+#define EX_SOFTWARE 70
+#else
+#include <sysexits.h>
+#endif
+
+#include <algorithm>
+#include <cstddef>
+#include <cstdio>
+#include <iostream>
+#include <iterator>
+#include <fstream>
+#include <cstring>
+#include <numeric>
+#include <sstream>
+
+#include <json/json_parser.h>
+
+#include <util/expr.h>
+#include <util/c_types.h>
+#include <util/arith_tools.h>
+#include <util/invariant.h>
+#include <util/tempdir.h>
+#include <util/tempfile.h>
+#include <util/config.h>
+#include <util/prefix.h>
+#include <util/suffix.h>
+#include <util/get_base_name.h>
+#include <util/run.h>
+#include <util/replace_symbol.h>
+
+#include <goto-programs/read_goto_binary.h>
+
+#include <cbmc/version.h>
+
+#include "linker_script_merge.h"
+
+static std::string linker_name(
+  const cmdlinet &cmdline,
+  const std::string &base_name)
+{
+  if(cmdline.isset("native-linker"))
+    return cmdline.get_value("native-linker");
+
+  std::string::size_type pos=base_name.find("goto-ld");
+
+  if(pos==std::string::npos ||
+     base_name=="goto-gcc" ||
+     base_name=="goto-ld")
+    return "ld";
+
+  std::string result=base_name;
+  result.replace(pos, 7, "ld");
+
+  return result;
+}
+
+ld_modet::ld_modet(
+  goto_cc_cmdlinet &_cmdline,
+  const std::string &_base_name):
+  goto_cc_modet(_cmdline, _base_name, gcc_message_handler),
+  goto_binary_tmp_suffix(".goto-cc-saved")
+{
+}
+
+/// does it.
+int ld_modet::doit()
+{
+  if(cmdline.isset("help"))
+  {
+    help();
+    return EX_OK;
+  }
+
+  native_tool_name = linker_name(cmdline, base_name);
+
+  if(cmdline.isset("version") ||
+     cmdline.isset("print-sysroot"))
+    return run_ld();
+
+  eval_verbosity(
+    cmdline.get_value("verbosity"), messaget::M_ERROR, gcc_message_handler);
+
+  compilet compiler(cmdline, gcc_message_handler, false);
+
+  // determine actions to be undertaken
+  compiler.mode=compilet::LINK_LIBRARY;
+
+  // get configuration
+  config.set(cmdline);
+
+  compiler.object_file_extension="o";
+
+  if(cmdline.isset('L'))
+    compiler.library_paths=cmdline.get_values('L');
+    // Don't add the system paths!
+
+  if(cmdline.isset('l'))
+    compiler.libraries=cmdline.get_values('l');
+
+  if(cmdline.isset("static"))
+    compiler.libraries.push_back("c");
+
+  if(cmdline.isset('o'))
+  {
+    // given gcc -o file1 -o file2,
+    // gcc will output to file2, not file1
+    compiler.output_file_object=cmdline.get_values('o').back();
+    compiler.output_file_executable=cmdline.get_values('o').back();
+  }
+  else
+  {
+    compiler.output_file_object="";
+    compiler.output_file_executable="a.out";
+  }
+
+  // We now iterate over any input files
+
+  for(const auto &arg : cmdline.parsed_argv)
+    if(arg.is_infile_name)
+      compiler.add_input_file(arg.arg);
+
+  // Revert to gcc in case there is no source to compile
+  // and no binary to link.
+
+  if(compiler.source_files.empty() &&
+     compiler.object_files.empty())
+    return run_ld(); // exit!
+
+  // do all the rest
+  if(compiler.doit())
+    return 1; // LD exit code for all kinds of errors
+
+  // We can generate hybrid ELF and Mach-O binaries
+  // containing both executable machine code and the goto-binary.
+  return ld_hybrid_binary(compiler);
+}
+
+int ld_modet::run_ld()
+{
+  PRECONDITION(!cmdline.parsed_argv.empty());
+
+  // build new argv
+  std::vector<std::string> new_argv;
+  new_argv.reserve(cmdline.parsed_argv.size());
+  for(const auto &a : cmdline.parsed_argv)
+    new_argv.push_back(a.arg);
+
+  // overwrite argv[0]
+  new_argv[0]=native_tool_name;
+
+  debug() << "RUN:";
+  for(std::size_t i=0; i<new_argv.size(); i++)
+    debug() << " " << new_argv[i];
+  debug() << eom;
+
+  return run(new_argv[0], new_argv, cmdline.stdin_file, "");
+}
+
+int ld_modet::ld_hybrid_binary(compilet &compiler)
+{
+  std::string output_file;
+
+  if(cmdline.isset('o'))
+  {
+    output_file=cmdline.get_value('o');
+
+    if(output_file=="/dev/null")
+      return EX_OK;
+  }
+  else
+    output_file="a.out";
+
+  debug() << "Running " << native_tool_name
+          << " to generate hybrid binary" << eom;
+
+  // save the goto-cc output file
+  std::string goto_binary=output_file+goto_binary_tmp_suffix;
+
+  int result;
+
+  result=rename(output_file.c_str(), goto_binary.c_str());
+  if(result!=0)
+  {
+    error() << "Rename failed: " << std::strerror(errno) << eom;
+    return result;
+  }
+
+  result=run_ld();
+
+  if(result==0)
+  {
+    linker_script_merget ls_merge(
+      compiler, { output_file }, { goto_binary }, cmdline, gcc_message_handler);
+    result=ls_merge.add_linker_script_definitions();
+  }
+
+  std::string objcopy_cmd;
+
+  if(has_suffix(linker_name(cmdline, base_name), "-ld"))
+  {
+    objcopy_cmd=linker_name(cmdline, base_name);
+    objcopy_cmd.erase(objcopy_cmd.size()-2);
+  }
+
+  objcopy_cmd+="objcopy";
+
+  // merge output from ld with goto-binary
+  // using objcopy, or do cleanup if an earlier call failed
+  debug() << "merging " << output_file << " and " << goto_binary << eom;
+
+  #ifdef __linux__
+  if(result==0)
+  {
+    // remove any existing goto-cc section
+    std::vector<std::string> objcopy_argv;
+
+    objcopy_argv.push_back(objcopy_cmd);
+    objcopy_argv.push_back("--remove-section=goto-cc");
+    objcopy_argv.push_back(output_file);
+
+    result=run(objcopy_argv[0], objcopy_argv, "", "");
+  }
+
+  if(result==0)
+  {
+    // now add goto-binary as goto-cc section
+    std::vector<std::string> objcopy_argv;
+
+    objcopy_argv.push_back(objcopy_cmd);
+    objcopy_argv.push_back("--add-section");
+    objcopy_argv.push_back("goto-cc="+goto_binary);
+    objcopy_argv.push_back(output_file);
+
+    result=run(objcopy_argv[0], objcopy_argv, "", "");
+  }
+
+  int remove_result=remove(goto_binary.c_str());
+  if(remove_result!=0)
+  {
+    error() << "Remove failed: " << std::strerror(errno) << eom;
+    if(result==0)
+      result=remove_result;
+  }
+
+  #elif defined(__APPLE__)
+  // Mac
+  if(result==0)
+  {
+    std::vector<std::string> lipo_argv;
+
+    // now add goto-binary as hppa7100LC section
+    lipo_argv.push_back("lipo");
+    lipo_argv.push_back(output_file);
+    lipo_argv.push_back("-create");
+    lipo_argv.push_back("-arch");
+    lipo_argv.push_back("hppa7100LC");
+    lipo_argv.push_back(goto_binary);
+    lipo_argv.push_back("-output");
+    lipo_argv.push_back(output_file);
+
+    result=run(lipo_argv[0], lipo_argv, "", "");
+  }
+
+  int remove_result=remove(goto_binary.c_str());
+  if(remove_result!=0)
+  {
+    error() << "Remove failed: " << std::strerror(errno) << eom;
+    if(result==0)
+      result=remove_result;
+  }
+
+  #else
+  error() << "binary merging not implemented for this platform" << eom;
+  result = 1;
+  #endif
+
+  return result;
+}
+
+/// display command line help
+void ld_modet::help_mode()
+{
+  std::cout << "goto-ld understands the options of "
+            << "ld plus the following.\n\n";
+}

src/goto-cc/ld_mode.h

@@ -0,0 +1,47 @@
+/*******************************************************************\
+
+Module: Base class for command line interpretation
+
+Author: CM Wintersteiger
+
+Date: June 2006
+
+\*******************************************************************/
+
+/// \file
+/// Base class for command line interpretation
+
+#ifndef CPROVER_GOTO_CC_LD_MODE_H
+#define CPROVER_GOTO_CC_LD_MODE_H
+
+#include "compile.h"
+#include "goto_cc_mode.h"
+
+#include <util/cout_message.h>
+
+#include <set>
+
+class ld_modet:public goto_cc_modet
+{
+public:
+  int doit() final;
+  void help_mode() final;
+
+  ld_modet(
+    goto_cc_cmdlinet &_cmdline,
+    const std::string &_base_name);
+
+protected:
+  gcc_message_handlert gcc_message_handler;
+
+  std::string native_tool_name;
+
+  const std::string goto_binary_tmp_suffix;
+
+  /// \brief call ld with original command line
+  int run_ld();
+
+  int ld_hybrid_binary(compilet &compiler);
+};
+
+#endif // CPROVER_GOTO_CC_LD_MODE_H