|
cprover
|
#include <ld_mode.h>
Inheritance diagram for ld_modet:
Collaboration diagram for ld_modet: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) | |
Public Member Functions inherited from goto_cc_modet | |
| int | main (int argc, const char **argv) |
| starts the compiler More... | |
| virtual int | doit ()=0 |
| virtual void | help_mode ()=0 |
| 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 (bool building_executable, const std::list< std::string > &object_files) |
| Build an ELF or Mach-O binary containing a goto-cc section. More... | |
Protected Member Functions inherited from goto_cc_modet | |
| void | register_languages () |
Protected Attributes | |
| gcc_message_handlert | gcc_message_handler |
| std::string | native_tool_name |
| const std::string | goto_binary_tmp_suffix |
Protected Attributes inherited from goto_cc_modet | |
| goto_cc_cmdlinet & | cmdline |
| const std::string | base_name |
| message_handlert & | message_handler |
| ld_modet::ld_modet | ( | goto_cc_cmdlinet & | _cmdline, |
| const std::string & | _base_name | ||
| ) |
Definition at line 56 of file ld_mode.cpp.
|
finalvirtual |
|
finalvirtual |
|
protected |
Build an ELF or Mach-O binary containing a goto-cc section.
| building_executable | set to true iff the target file is an executable |
| object_files | object files to be linked |
Definition at line 159 of file ld_mode.cpp.
|
protected |
call ld with original command line
Definition at line 137 of file ld_mode.cpp.
|
protected |
|
protected |