cprover
|
#include <gcc_mode.h>
Public Member Functions | |
int | doit () final |
does it. | |
void | help_mode () final |
display command line help | |
gcc_modet (goto_cc_cmdlinet &_cmdline, const std::string &_base_name, bool _produce_hybrid_binary) | |
![]() | |
int | main (int argc, const char **argv) |
starts the compiler | |
void | help () |
display command line help | |
virtual void | usage_error () |
Prints a message informing the user about incorrect options. | |
goto_cc_modet (goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &) | |
constructor | |
~goto_cc_modet () | |
constructor | |
Protected Member Functions | |
int | preprocess (const std::string &language, const std::string &src, const std::string &dest, bool act_as_bcc) |
call gcc for preprocessing | |
int | run_gcc (const compilet &compiler) |
call gcc with original command line | |
int | gcc_hybrid_binary (compilet &compiler) |
int | asm_output (bool act_as_bcc, const std::list< std::string > &preprocessed_source_files, const compilet &compiler) |
![]() | |
void | register_languages () |
Static Protected Member Functions | |
static bool | needs_preprocessing (const std::string &) |
Protected Attributes | |
gcc_message_handlert | gcc_message_handler |
const bool | produce_hybrid_binary |
std::string | native_tool_name |
const std::string | goto_binary_tmp_suffix |
const std::map< std::string, std::set< std::string > > | arch_map |
Associate CBMC architectures with processor names. | |
gcc_versiont | gcc_version |
![]() | |
goto_cc_cmdlinet & | cmdline |
const std::string | base_name |
message_handlert & | message_handler |
Definition at line 27 of file gcc_mode.h.
gcc_modet::gcc_modet | ( | goto_cc_cmdlinet & | _cmdline, |
const std::string & | _base_name, | ||
bool | _produce_hybrid_binary ) |
Definition at line 95 of file gcc_mode.cpp.
|
protected |
Definition at line 1063 of file gcc_mode.cpp.
|
finalvirtual |
Definition at line 944 of file gcc_mode.cpp.
|
finalvirtual |
Definition at line 294 of file gcc_mode.cpp.
|
protected |
call gcc for preprocessing
Definition at line 821 of file gcc_mode.cpp.
call gcc with original command line
Definition at line 900 of file gcc_mode.cpp.
|
protected |
Associate CBMC architectures with processor names.
Definition at line 48 of file gcc_mode.h.
|
protected |
Definition at line 39 of file gcc_mode.h.
|
protected |
Definition at line 68 of file gcc_mode.h.
|
protected |
Definition at line 45 of file gcc_mode.h.
|
protected |
Definition at line 43 of file gcc_mode.h.
Definition at line 41 of file gcc_mode.h.