14 #ifndef CPROVER_GOTO_CC_LD_MODE_H
15 #define CPROVER_GOTO_CC_LD_MODE_H
31 const std::string &_base_name);
void help_mode() final
display command line help
const std::string goto_binary_tmp_suffix
std::string native_tool_name
gcc_message_handlert gcc_message_handler
int run_ld()
call ld with original command line
int ld_hybrid_binary(bool)
ld_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name)
Compile and link source and object files.
Command line interpretation for goto-cc.