cprover
|
#include <config.h>
Public Member Functions | |
void | set_c89 () |
void | set_c99 () |
void | set_c11 () |
void | set_16 () |
void | set_32 () |
void | set_64 () |
void | set_LP64 () |
int=32, long=64, pointer=64 More... | |
void | set_ILP64 () |
int=64, long=64, pointer=64 More... | |
void | set_LLP64 () |
int=32, long=32, pointer=64 More... | |
void | set_ILP32 () |
int=32, long=32, pointer=32 More... | |
void | set_LP32 () |
int=16, long=32, pointer=32 More... | |
void | set_arch_spec_i386 () |
void | set_arch_spec_x86_64 () |
void | set_arch_spec_power (const irep_idt &subarch) |
void | set_arch_spec_arm (const irep_idt &subarch) |
void | set_arch_spec_alpha () |
void | set_arch_spec_mips (const irep_idt &subarch) |
void | set_arch_spec_s390 () |
void | set_arch_spec_s390x () |
void | set_arch_spec_sparc (const irep_idt &subarch) |
void | set_arch_spec_ia64 () |
void | set_arch_spec_x32 () |
void | set_arch_spec_v850 () |
Sets up the widths of variables for the Renesas V850. More... | |
void | set_arch_spec_hppa () |
void | set_arch_spec_sh4 () |
Static Public Member Functions | |
static c_standardt | default_c_standard () |
static std::string | os_to_string (ost) |
static ost | string_to_os (const std::string &) |
Public Attributes | |
unsigned | int_width |
unsigned | long_int_width |
unsigned | bool_width |
unsigned | char_width |
unsigned | short_int_width |
unsigned | long_long_int_width |
unsigned | pointer_width |
unsigned | single_width |
unsigned | double_width |
unsigned | long_double_width |
unsigned | wchar_t_width |
bool | char_is_unsigned |
bool | wchar_t_is_unsigned |
bool | use_fixed_for_float |
bool | for_has_scope |
bool | single_precision_constant |
enum configt::ansi_ct::c_standardt | c_standard |
ieee_floatt::rounding_modet | rounding_mode |
unsigned | alignment |
unsigned | memory_operand_size |
endiannesst | endianness |
ost | os |
irep_idt | arch |
bool | NULL_is_zero |
flavourt | mode |
preprocessort | preprocessor |
std::list< std::string > | defines |
std::list< std::string > | undefines |
std::list< std::string > | preprocessor_options |
std::list< std::string > | include_paths |
std::list< std::string > | include_files |
libt | lib |
bool | string_abstraction |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
static |
Definition at line 645 of file config.cpp.
Referenced by goto_analyzer_parse_optionst::help(), cbmc_parse_optionst::help(), and configt::set().
|
static |
Definition at line 1016 of file config.cpp.
References OS_LINUX, OS_MACOS, and OS_WIN.
Referenced by ansi_c_architecture_strings().
void configt::ansi_ct::set_16 | ( | ) |
void configt::ansi_ct::set_32 | ( | ) |
Definition at line 28 of file config.cpp.
References set_ILP32().
Referenced by configt::set(), and configt::set_arch().
void configt::ansi_ct::set_64 | ( | ) |
Definition at line 33 of file config.cpp.
References set_LLP64(), and set_LP64().
Referenced by configt::set(), and configt::set_arch().
void configt::ansi_ct::set_arch_spec_alpha | ( | ) |
Definition at line 319 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_LITTLE_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_LP64(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_arm | ( | const irep_idt & | subarch | ) |
Definition at line 276 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_LITTLE_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_ILP32(), set_LP64(), and VISUAL_STUDIO.
Referenced by gcc_modet::doit(), and configt::set_arch().
void configt::ansi_ct::set_arch_spec_hppa | ( | ) |
Definition at line 586 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_BIG_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_ILP32(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_i386 | ( | ) |
Definition at line 146 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_LITTLE_ENDIAN, mode, NONE, NULL_is_zero, set_ILP32(), and VISUAL_STUDIO.
Referenced by gcc_modet::doit(), and configt::set_arch().
void configt::ansi_ct::set_arch_spec_ia64 | ( | ) |
Definition at line 495 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_LITTLE_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_LP64(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_mips | ( | const irep_idt & | subarch | ) |
Definition at line 348 of file config.cpp.
References ANSI, configt::ansi_c, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_BIG_ENDIAN, IS_LITTLE_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, pointer_width, set_ILP32(), set_LP64(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_power | ( | const irep_idt & | subarch | ) |
Definition at line 215 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_BIG_ENDIAN, IS_LITTLE_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_ILP32(), set_LP64(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_s390 | ( | ) |
Definition at line 398 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_BIG_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_ILP32(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_s390x | ( | ) |
Definition at line 427 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_BIG_ENDIAN, mode, NONE, NULL_is_zero, set_LP64(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_sh4 | ( | ) |
Definition at line 615 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_LITTLE_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_ILP32(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_sparc | ( | const irep_idt & | subarch | ) |
Definition at line 455 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_BIG_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_ILP32(), set_LP64(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_v850 | ( | ) |
Sets up the widths of variables for the Renesas V850.
Definition at line 563 of file config.cpp.
References char_is_unsigned, double_width, endianness, IS_LITTLE_ENDIAN, long_double_width, NULL_is_zero, and set_ILP32().
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_x32 | ( | ) |
Definition at line 526 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_LITTLE_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_ILP32(), and VISUAL_STUDIO.
Referenced by configt::set_arch().
void configt::ansi_ct::set_arch_spec_x86_64 | ( | ) |
Definition at line 178 of file config.cpp.
References ANSI, APPLE, ARM, char_is_unsigned, CODEWARRIOR, defines, endianness, GCC, IS_LITTLE_ENDIAN, long_double_width, mode, NONE, NULL_is_zero, set_LP64(), and VISUAL_STUDIO.
Referenced by gcc_modet::doit(), and configt::set_arch().
|
inline |
Definition at line 52 of file config.h.
References C11.
Referenced by gcc_modet::doit(), goto_diff_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), and cbmc_parse_optionst::get_command_line_options().
|
inline |
Definition at line 50 of file config.h.
References C89.
Referenced by gcc_modet::doit(), goto_diff_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), and cbmc_parse_optionst::get_command_line_options().
|
inline |
Definition at line 51 of file config.h.
References C99.
Referenced by gcc_modet::doit(), goto_diff_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), and cbmc_parse_optionst::get_command_line_options().
void configt::ansi_ct::set_ILP32 | ( | ) |
int=32, long=32, pointer=32
Definition at line 107 of file config.cpp.
References alignment, bool_width, char_is_unsigned, char_width, double_width, int_width, long_double_width, long_int_width, long_long_int_width, memory_operand_size, pointer_width, short_int_width, single_width, wchar_t_is_unsigned, and wchar_t_width.
Referenced by configt::set(), set_32(), set_arch_spec_arm(), set_arch_spec_hppa(), set_arch_spec_i386(), set_arch_spec_mips(), set_arch_spec_power(), set_arch_spec_s390(), set_arch_spec_sh4(), set_arch_spec_sparc(), set_arch_spec_v850(), and set_arch_spec_x32().
void configt::ansi_ct::set_ILP64 | ( | ) |
int=64, long=64, pointer=64
Definition at line 67 of file config.cpp.
References alignment, bool_width, char_is_unsigned, char_width, double_width, int_width, long_double_width, long_int_width, long_long_int_width, memory_operand_size, pointer_width, short_int_width, single_width, wchar_t_is_unsigned, and wchar_t_width.
Referenced by configt::set().
void configt::ansi_ct::set_LLP64 | ( | ) |
int=32, long=32, pointer=64
Definition at line 87 of file config.cpp.
References alignment, bool_width, char_is_unsigned, char_width, double_width, int_width, long_double_width, long_int_width, long_long_int_width, memory_operand_size, pointer_width, short_int_width, single_width, wchar_t_is_unsigned, and wchar_t_width.
Referenced by configt::set(), and set_64().
void configt::ansi_ct::set_LP32 | ( | ) |
int=16, long=32, pointer=32
Definition at line 127 of file config.cpp.
References alignment, bool_width, char_is_unsigned, char_width, double_width, int_width, long_double_width, long_int_width, long_long_int_width, memory_operand_size, pointer_width, short_int_width, single_width, wchar_t_is_unsigned, and wchar_t_width.
Referenced by configt::set(), and set_16().
void configt::ansi_ct::set_LP64 | ( | ) |
int=32, long=64, pointer=64
Definition at line 43 of file config.cpp.
References alignment, bool_width, char_is_unsigned, char_width, double_width, int_width, long_double_width, long_int_width, long_long_int_width, memory_operand_size, pointer_width, short_int_width, single_width, wchar_t_is_unsigned, and wchar_t_width.
Referenced by configt::set(), set_64(), set_arch_spec_alpha(), set_arch_spec_arm(), set_arch_spec_ia64(), set_arch_spec_mips(), set_arch_spec_power(), set_arch_spec_s390x(), set_arch_spec_sparc(), and set_arch_spec_x86_64().
|
static |
Definition at line 1027 of file config.cpp.
References NO_OS, OS_LINUX, OS_MACOS, and OS_WIN.
Referenced by configt::set_from_symbol_table().
unsigned configt::ansi_ct::alignment |
Definition at line 68 of file config.h.
Referenced by add_padding(), ansi_c_architecture_strings(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), and set_LP64().
irep_idt configt::ansi_ct::arch |
Definition at line 83 of file config.h.
Referenced by ansi_c_architecture_strings(), ansi_c_internal_additions(), c_preprocess_gcc_clang(), gcc_modet::doit(), armcc_modet::doit(), link_to_library(), configt::set(), and configt::set_arch().
unsigned configt::ansi_ct::bool_width |
Definition at line 32 of file config.h.
Referenced by ansi_c_architecture_strings(), c_bool_type(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), and set_LP64().
enum configt::ansi_ct::c_standardt configt::ansi_ct::c_standard |
Referenced by c_preprocess_gcc_clang(), and configt::set().
bool configt::ansi_ct::char_is_unsigned |
Definition at line 43 of file config.h.
Referenced by ansi_c_architecture_strings(), c_preprocess_gcc_clang(), c_preprocess_visual_studio(), char_type(), expr2ct::convert_rec(), gcc_modet::doit(), armcc_modet::doit(), ms_cl_modet::doit(), configt::set(), set_arch_spec_alpha(), set_arch_spec_arm(), set_arch_spec_hppa(), set_arch_spec_i386(), set_arch_spec_ia64(), set_arch_spec_mips(), set_arch_spec_power(), set_arch_spec_s390(), set_arch_spec_s390x(), set_arch_spec_sh4(), set_arch_spec_sparc(), set_arch_spec_v850(), set_arch_spec_x32(), set_arch_spec_x86_64(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), and set_LP64().
unsigned configt::ansi_ct::char_width |
Definition at line 33 of file config.h.
Referenced by ansi_c_architecture_strings(), c_preprocess_gcc_clang(), char_type(), expr2ct::convert_rec(), c_typecheck_baset::enum_underlying_type(), c_typecastt::get_c_type(), string_abstractiont::is_char_type(), string_instrumentationt::is_string_type(), json(), c_typecastt::minimum_promotion(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), signed_char_type(), unsigned_char_type(), and xml().
std::list<std::string> configt::ansi_ct::defines |
Definition at line 111 of file config.h.
Referenced by compilet::add_compiler_specific_defines(), c_preprocess_arm(), c_preprocess_codewarrior(), c_preprocess_gcc_clang(), c_preprocess_visual_studio(), ms_cl_modet::doit(), armcc_modet::doit(), cw_modet::doit(), goto_instrument_parse_optionst::instrument_goto_program(), configt::set(), set_arch_spec_alpha(), set_arch_spec_arm(), set_arch_spec_hppa(), set_arch_spec_i386(), set_arch_spec_ia64(), set_arch_spec_mips(), set_arch_spec_power(), set_arch_spec_s390(), set_arch_spec_s390x(), set_arch_spec_sh4(), set_arch_spec_sparc(), set_arch_spec_x32(), set_arch_spec_x86_64(), and configt::set_from_symbol_table().
unsigned configt::ansi_ct::double_width |
Definition at line 38 of file config.h.
Referenced by ansi_c_architecture_strings(), expr2ct::convert_rec(), gcc_modet::doit(), double_type(), c_typecastt::get_c_type(), configt::set(), set_arch_spec_v850(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), and set_LP64().
endiannesst configt::ansi_ct::endianness |
Definition at line 75 of file config.h.
Referenced by ansi_c_architecture_strings(), value_set_dereferencet::build_reference_to(), byte_extract_id(), byte_update_id(), boolbvt::convert_union(), boolbvt::convert_with_union(), gcc_modet::doit(), value_set_dereferencet::memory_model_bytes(), configt::set(), configt::set_arch(), set_arch_spec_alpha(), set_arch_spec_arm(), set_arch_spec_hppa(), set_arch_spec_i386(), set_arch_spec_ia64(), set_arch_spec_mips(), set_arch_spec_power(), set_arch_spec_s390(), set_arch_spec_s390x(), set_arch_spec_sh4(), set_arch_spec_sparc(), set_arch_spec_v850(), set_arch_spec_x32(), set_arch_spec_x86_64(), and configt::set_from_symbol_table().
bool configt::ansi_ct::for_has_scope |
Definition at line 45 of file config.h.
Referenced by ansi_c_languaget::parse(), configt::set(), and c_typecheck_baset::typecheck_for().
std::list<std::string> configt::ansi_ct::include_files |
Definition at line 115 of file config.h.
Referenced by c_preprocess_codewarrior(), c_preprocess_gcc_clang(), c_preprocess_visual_studio(), and configt::set().
std::list<std::string> configt::ansi_ct::include_paths |
Definition at line 114 of file config.h.
Referenced by c_preprocess_arm(), c_preprocess_codewarrior(), c_preprocess_gcc_clang(), c_preprocess_visual_studio(), armcc_modet::doit(), cw_modet::doit(), ms_cl_modet::doit(), and configt::set().
unsigned configt::ansi_ct::int_width |
Definition at line 30 of file config.h.
Referenced by ansi_c_architecture_strings(), ansi_c_entry_point(), dplib_convt::array_index(), cvc_convt::array_index(), c_preprocess_arm(), c_preprocess_gcc_clang(), goto_program2codet::cleanup_expr(), convert_integer_literal(), expr2ct::convert_rec(), cpp_convert_plain_type(), c_typecheck_baset::enum_constant_type(), c_typecheck_baset::enum_underlying_type(), c_typecastt::get_c_type(), json(), c_typecastt::minimum_promotion(), pointer_diff_type(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), signed_int_type(), signed_poly_type(), size_type(), cpp_typecheckt::standard_conversion_integral_promotion(), cpp_typecheckt::typecheck_expr_new(), unsigned_int_type(), unsigned_poly_type(), and xml().
libt configt::ansi_ct::lib |
Definition at line 118 of file config.h.
Referenced by add_cprover_library(), configt::set(), and configt::set_arch().
unsigned configt::ansi_ct::long_double_width |
Definition at line 39 of file config.h.
Referenced by ansi_c_architecture_strings(), expr2ct::convert_rec(), c_typecastt::get_c_type(), long_double_type(), configt::set(), set_arch_spec_alpha(), set_arch_spec_arm(), set_arch_spec_hppa(), set_arch_spec_ia64(), set_arch_spec_mips(), set_arch_spec_power(), set_arch_spec_s390(), set_arch_spec_sh4(), set_arch_spec_sparc(), set_arch_spec_v850(), set_arch_spec_x32(), set_arch_spec_x86_64(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), and set_LP64().
unsigned configt::ansi_ct::long_int_width |
Definition at line 31 of file config.h.
Referenced by ansi_c_architecture_strings(), ansi_c_internal_additions(), c_preprocess_gcc_clang(), convert_integer_literal(), expr2ct::convert_rec(), c_typecheck_baset::enum_constant_type(), c_typecheck_baset::enum_underlying_type(), c_typecastt::get_c_type(), json(), pointer_diff_type(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), signed_long_int_type(), size_type(), c_typecheck_baset::typecheck_type(), unsigned_long_int_type(), and xml().
unsigned configt::ansi_ct::long_long_int_width |
Definition at line 35 of file config.h.
Referenced by ansi_c_architecture_strings(), dump_ct::convert_compound(), convert_integer_literal(), expr2ct::convert_rec(), c_typecheck_baset::enum_constant_type(), c_typecastt::get_c_type(), json(), pointer_diff_type(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), signed_long_long_int_type(), size_type(), c_typecheck_baset::typecheck_type(), unsigned_long_long_int_type(), and xml().
unsigned configt::ansi_ct::memory_operand_size |
Definition at line 72 of file config.h.
Referenced by ansi_c_architecture_strings(), print_struct_alignment_problems(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), and set_LP64().
flavourt configt::ansi_ct::mode |
Definition at line 105 of file config.h.
Referenced by ansi_c_internal_additions(), c_preprocess_gcc_clang(), c_preprocess_none(), expr2ct::convert_with_precedence(), cpp_internal_additions(), gcc_modet::doit(), as_modet::doit(), ms_cl_modet::doit(), armcc_modet::doit(), cw_modet::doit(), c_typecheck_baset::enum_constant_type(), c_typecheck_baset::enum_underlying_type(), ansi_c_languaget::parse(), cpp_languaget::parse(), configt::set(), set_arch_spec_alpha(), set_arch_spec_arm(), set_arch_spec_hppa(), set_arch_spec_i386(), set_arch_spec_ia64(), set_arch_spec_mips(), set_arch_spec_power(), set_arch_spec_s390(), set_arch_spec_s390x(), set_arch_spec_sh4(), set_arch_spec_sparc(), set_arch_spec_x32(), set_arch_spec_x86_64(), ansi_c_languaget::to_expr(), ansi_c_declarationt::to_symbol(), and c_typecheck_baset::typecheck_redefinition_non_type().
bool configt::ansi_ct::NULL_is_zero |
Definition at line 86 of file config.h.
Referenced by ansi_c_architecture_strings(), expr2ct::convert_constant(), is_dereference_integer_object(), configt::set(), configt::set_arch(), set_arch_spec_alpha(), set_arch_spec_arm(), set_arch_spec_hppa(), set_arch_spec_i386(), set_arch_spec_ia64(), set_arch_spec_mips(), set_arch_spec_power(), set_arch_spec_s390(), set_arch_spec_s390x(), set_arch_spec_sh4(), set_arch_spec_sparc(), set_arch_spec_v850(), set_arch_spec_x32(), set_arch_spec_x86_64(), configt::set_from_symbol_table(), simplify_exprt::simplify_inequality_constant(), and simplify_exprt::simplify_typecast().
ost configt::ansi_ct::os |
Definition at line 78 of file config.h.
Referenced by ansi_c_architecture_strings(), ansi_c_internal_additions(), c_preprocess_arm(), c_preprocess_gcc_clang(), cpp_internal_additions(), configt::set(), configt::set_from_symbol_table(), and c_typecheck_baset::typecheck_redefinition_type().
unsigned configt::ansi_ct::pointer_width |
Definition at line 36 of file config.h.
Referenced by alignment(), ansi_c_architecture_strings(), build_sizeof_expr(), bv_pointerst::bv_pointerst(), c_preprocess_arm(), c_preprocess_gcc_clang(), c_preprocess_visual_studio(), dplib_convt::convert_address_of_rec(), cvc_convt::convert_address_of_rec(), cvc_convt::convert_constant_expr(), dplib_convt::convert_dplib_expr(), cvc_convt::convert_plus_expr(), bv_pointerst::convert_pointer_type(), cvc_convt::cvc_pointer_type(), dplib_convt::dplib_pointer_type(), polynomial_acceleratort::fit_polynomial_sliced(), boolbv_widtht::get_entry(), pointer_diff_type(), pointer_offset_bits(), configt::set(), set_arch_spec_mips(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), simplify_exprt::simplify_typecast(), size_of_expr(), size_type(), and c_sizeoft::sizeof_rec().
preprocessort configt::ansi_ct::preprocessor |
Definition at line 109 of file config.h.
Referenced by c_preprocess(), model_argc_argv(), and configt::set().
std::list<std::string> configt::ansi_ct::preprocessor_options |
Definition at line 113 of file config.h.
Referenced by c_preprocess_codewarrior(), c_preprocess_gcc_clang(), gcc_modet::doit(), cw_modet::doit(), armcc_modet::doit(), and ms_cl_modet::doit().
ieee_floatt::rounding_modet configt::ansi_ct::rounding_mode |
Definition at line 54 of file config.h.
Referenced by ansi_c_internal_additions(), and configt::set().
unsigned configt::ansi_ct::short_int_width |
Definition at line 34 of file config.h.
Referenced by ansi_c_architecture_strings(), c_preprocess_gcc_clang(), expr2ct::convert_rec(), gcc_modet::doit(), c_typecheck_baset::enum_underlying_type(), c_typecastt::get_c_type(), json(), c_typecastt::minimum_promotion(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), signed_short_int_type(), unsigned_short_int_type(), and xml().
bool configt::ansi_ct::single_precision_constant |
Definition at line 46 of file config.h.
Referenced by convert_float_literal(), gcc_modet::doit(), and configt::set().
unsigned configt::ansi_ct::single_width |
Definition at line 37 of file config.h.
Referenced by ansi_c_architecture_strings(), expr2ct::convert_rec(), gcc_modet::doit(), float_type(), c_typecastt::get_c_type(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), and cpp_typecheckt::standard_conversion_floating_point_promotion().
bool configt::ansi_ct::string_abstraction |
Definition at line 120 of file config.h.
Referenced by get_cprover_library_text(), and configt::set().
std::list<std::string> configt::ansi_ct::undefines |
Definition at line 112 of file config.h.
Referenced by gcc_modet::doit(), ms_cl_modet::doit(), armcc_modet::doit(), and cw_modet::doit().
bool configt::ansi_ct::use_fixed_for_float |
Definition at line 44 of file config.h.
Referenced by ansi_c_architecture_strings(), convert_float_literal(), expr2ct::convert_rec(), double_type(), float_type(), gcc_float128_type(), long_double_type(), configt::set(), and configt::set_from_symbol_table().
bool configt::ansi_ct::wchar_t_is_unsigned |
Definition at line 43 of file config.h.
Referenced by ansi_c_architecture_strings(), c_preprocess_gcc_clang(), gcc_modet::doit(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), and wchar_t_type().
unsigned configt::ansi_ct::wchar_t_width |
Definition at line 40 of file config.h.
Referenced by ansi_c_architecture_strings(), c_preprocess_gcc_clang(), gcc_modet::doit(), armcc_modet::doit(), configt::set(), configt::set_from_symbol_table(), set_ILP32(), set_ILP64(), set_LLP64(), set_LP32(), set_LP64(), and wchar_t_type().