cprover
|
#include <config.h>
Public Types | |
enum | cpp_standardt { cpp_standardt::CPP98, cpp_standardt::CPP03, cpp_standardt::CPP11, cpp_standardt::CPP14 } |
Public Member Functions | |
void | set_cpp98 () |
void | set_cpp03 () |
void | set_cpp11 () |
void | set_cpp14 () |
Static Public Member Functions | |
static cpp_standardt | default_cpp_standard () |
Public Attributes | |
enum configt::cppt::cpp_standardt | cpp_standard |
Static Public Attributes | |
static const std::size_t | default_object_bits =8 |
|
strong |
|
static |
Definition at line 661 of file config.cpp.
Referenced by cbmc_parse_optionst::help(), goto_analyzer_parse_optionst::help(), and configt::set().
|
inline |
Definition at line 132 of file config.h.
References CPP03, and cpp_standard.
Referenced by goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), and goto_analyzer_parse_optionst::get_command_line_options().
|
inline |
Definition at line 133 of file config.h.
References CPP11, and cpp_standard.
Referenced by ms_cl_modet::doit(), gcc_modet::doit(), goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), and goto_analyzer_parse_optionst::get_command_line_options().
|
inline |
Definition at line 134 of file config.h.
References CPP14, and cpp_standard.
Referenced by ms_cl_modet::doit(), and gcc_modet::doit().
|
inline |
Definition at line 131 of file config.h.
References CPP98, and cpp_standard.
Referenced by goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), and goto_analyzer_parse_optionst::get_command_line_options().
enum configt::cppt::cpp_standardt configt::cppt::cpp_standard |
Referenced by c_preprocess_gcc_clang(), gcc_modet::doit(), cpp_parsert::parse(), configt::set(), set_cpp03(), set_cpp11(), set_cpp14(), and set_cpp98().
|
static |
Definition at line 136 of file config.h.
Referenced by configt::set_object_bits_from_symbol_table().