cprover
|
#include <ld_mode.h>
Public Member Functions | |
int | doit () final |
does it. More... | |
void | help_mode () final |
display command line help More... | |
ld_modet (goto_cc_cmdlinet &_cmdline, const std::string &_base_name) | |
![]() | |
virtual int | main (int argc, const char **argv) |
starts the compiler More... | |
virtual void | help () |
display command line help More... | |
virtual void | usage_error () |
prints a message informing the user about incorrect options More... | |
goto_cc_modet (goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &) | |
constructor More... | |
~goto_cc_modet () | |
constructor More... | |
Protected Member Functions | |
int | run_ld () |
call ld with original command line More... | |
int | ld_hybrid_binary (compilet &compiler) |
![]() | |
void | register_languages () |
Protected Attributes | |
gcc_message_handlert | gcc_message_handler |
std::string | native_tool_name |
const std::string | goto_binary_tmp_suffix |
![]() | |
goto_cc_cmdlinet & | cmdline |
const std::string | base_name |
Additional Inherited Members |
ld_modet::ld_modet | ( | goto_cc_cmdlinet & | _cmdline, |
const std::string & | _base_name | ||
) |
Definition at line 71 of file ld_mode.cpp.
|
finalvirtual |
does it.
Implements goto_cc_modet.
Definition at line 78 of file ld_mode.cpp.
References goto_cc_modet::base_name, goto_cc_modet::cmdline, config, messaget::eval_verbosity(), gcc_message_handler, cmdlinet::get_value(), cmdlinet::get_values(), goto_cc_modet::help(), cmdlinet::isset(), ld_hybrid_binary(), compilet::LINK_LIBRARY, linker_name(), messaget::M_ERROR, native_tool_name, goto_cc_cmdlinet::parsed_argv, run_ld(), and configt::set().
|
finalvirtual |
|
protected |
Definition at line 169 of file ld_mode.cpp.
References linker_script_merget::add_linker_script_definitions(), goto_cc_modet::base_name, goto_cc_modet::cmdline, messaget::debug(), messaget::eom(), messaget::error(), messaget::get_message_handler(), cmdlinet::get_value(), goto_binary_tmp_suffix, hybrid_binary(), cmdlinet::isset(), linker_name(), native_tool_name, messaget::result(), and run_ld().
Referenced by doit().
|
protected |
call ld with original command line
Definition at line 148 of file ld_mode.cpp.
References goto_cc_modet::cmdline, messaget::debug(), messaget::eom(), native_tool_name, goto_cc_cmdlinet::parsed_argv, PRECONDITION, run(), and goto_cc_cmdlinet::stdin_file.
Referenced by doit(), and ld_hybrid_binary().
|
protected |
|
protected |
Definition at line 39 of file ld_mode.h.
Referenced by ld_hybrid_binary().
|
protected |
Definition at line 37 of file ld_mode.h.
Referenced by doit(), ld_hybrid_binary(), and run_ld().