cprover
|
Go to the source code of this file.
Classes | |
class | configt |
Globally accessible architectural configuration. More... | |
struct | configt::ansi_ct |
struct | configt::cppt |
struct | configt::verilogt |
struct | configt::javat |
struct | configt::bv_encodingt |
Variables | |
configt | config |
configt config |
Definition at line 23 of file config.cpp.
Referenced by compilet::add_compiler_specific_defines(), add_padding(), add_padding_gcc(), add_padding_msvc(), ansi_c_architecture_strings(), ansi_c_entry_point(), ansi_c_internal_additions(), value_set_dereferencet::build_reference_to(), builtin_factory(), bv_pointerst::bv_pointerst(), byte_extract_id(), byte_update_id(), c_bool_type(), c_preprocess(), c_preprocess_arm(), c_preprocess_codewarrior(), c_preprocess_gcc_clang(), c_preprocess_none(), c_preprocess_visual_studio(), char_type(), goto_program2codet::cleanup_expr(), convert(), smt2_convt::convert_address_of_rec(), expr2ct::convert_code_decl(), dump_ct::convert_compound(), expr2ct::convert_constant(), smt2_convt::convert_expr(), convert_float_literal(), convert_integer_literal(), smt2_convt::convert_is_dynamic_object(), expr2ct::convert_rec(), boolbvt::convert_union(), expr2ct::convert_with_precedence(), boolbvt::convert_with_union(), cpp_convert_plain_type(), cpp_internal_additions(), cprover_c_library_factory(), cprover_cpp_library_factory(), smt2_convt::define_object_size(), c_typecheck_baset::do_special_functions(), as_modet::doit(), armcc_modet::doit(), cw_modet::doit(), ms_cl_modet::doit(), ld_modet::doit(), gcc_modet::doit(), jdiff_parse_optionst::doit(), goto_diff_parse_optionst::doit(), compilet::doit(), cbmc_parse_optionst::doit(), jbmc_parse_optionst::doit(), janalyzer_parse_optionst::doit(), goto_analyzer_parse_optionst::doit(), c_typecheck_baset::enum_constant_type(), c_typecheck_baset::enum_underlying_type(), language_uit::final(), generate_ansi_c_start_function(), c_typecastt::get_c_type(), clobber_parse_optionst::get_command_line_options(), jdiff_parse_optionst::get_command_line_options(), goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), jbmc_parse_optionst::get_command_line_options(), janalyzer_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), get_cover_config(), get_cprover_library_text(), jdiff_parse_optionst::get_goto_program(), goto_diff_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), jbmc_parse_optionst::get_goto_program(), goto_instrument_parse_optionst::get_goto_program(), java_bytecode_languaget::get_language_options(), get_main_symbol(), java_class_loadert::get_parse_tree(), lazy_goto_modelt::initialize(), initialize_goto_model(), instrument_cover_goals(), goto_instrument_parse_optionst::instrument_goto_program(), string_abstractiont::is_char_type(), is_dereference_integer_object(), string_instrumentationt::is_string_type(), jsil_entry_point(), load_java_class(), long_double_type(), value_set_dereferencet::memory_model_bytes(), c_typecastt::minimum_promotion(), model_argc_argv(), dump_ct::operator()(), ansi_c_languaget::parse(), cpp_languaget::parse(), cpp_parsert::parse(), java_bytecode_languaget::parse(), parse_cover_options(), smt2_convt::parse_rec(), pointer_diff_type(), pointer_type(), print_struct_alignment_problems(), goto_diff_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), read_object_and_link(), cpp_convert_typet::read_rec(), ansi_c_convert_typet::read_rec(), reference_type(), remove_internal_symbols(), configt::ansi_ct::set_arch_spec_mips(), signed_char_type(), signed_int_type(), signed_long_int_type(), signed_long_long_int_type(), signed_poly_type(), signed_short_int_type(), simplify_exprt::simplify_inequality_constant(), simplify_json_expr(), simplify_exprt::simplify_pointer_offset(), simplify_exprt::simplify_typecast(), size_type(), cpp_typecheckt::standard_conversion_floating_point_promotion(), cpp_typecheckt::standard_conversion_integral_promotion(), ansi_c_languaget::to_expr(), ansi_c_declarationt::to_symbol(), cpp_typecheckt::typecheck_enum_type(), cpp_typecheckt::typecheck_expr_new(), c_typecheck_baset::typecheck_for(), c_typecheck_baset::typecheck_redefinition_non_type(), c_typecheck_baset::typecheck_redefinition_type(), c_typecheck_baset::typecheck_type(), unsigned_char_type(), unsigned_int_type(), unsigned_long_int_type(), unsigned_long_long_int_type(), unsigned_poly_type(), unsigned_short_int_type(), wchar_t_type(), and xml().