cprover
irep_ids.cpp File Reference

Internal Representation. More...

#include "irep_ids.h"
#include "invariant.h"
#include "string_container.h"
#include "irep_ids.def"
+ Include dependency graph for irep_ids.cpp:

Go to the source code of this file.

Macros

#define IREP_ID_ONE(id)   #id,
 
#define IREP_ID_TWO(id, str)   #str,
 
#define IREP_ID_ONE(the_id)   id_##the_id,
 
#define IREP_ID_TWO(the_id, str)   id_##the_id,
 
#define IREP_ID_ONE(the_id)
 
#define IREP_ID_TWO(the_id, str)
 

Enumerations

enum  idt : unsigned {
  idt::IREP_ID_ONE, idt::IREP_ID_TWO, idt::/builddir/build/BUILD/cbmc-cbmc-5.11/src/util/irep_ids.cpp, idt::id_empty_string,
  idt::id_let, idt::id_nil, idt::id_type, idt::id_bool,
  idt::id_c_bool, idt::id_proper_bool, idt::id_signedbv, idt::id_unsignedbv,
  idt::id_verilog_signedbv, idt::id_verilog_unsignedbv, idt::id_floatbv, idt::id_fixedbv,
  idt::id_x86_extended, idt::id_C_source_location, idt::id_C_end_location, idt::id_C_is_padding,
  idt::id_file, idt::id_line, idt::id_column, idt::id_comment,
  idt::id_property, idt::id_property_class, idt::id_property_id, idt::id_function,
  idt::id_mathematical_function, idt::id_code, idt::id_typecast, idt::id_static_cast,
  idt::id_dynamic_cast, idt::id_const_cast, idt::id_reinterpret_cast, idt::id_index,
  idt::id_ptrmember, idt::id_member, idt::id_member_name, idt::id_C_member_name,
  idt::id_equal, idt::id_implies, idt::id_and, idt::id_nand,
  idt::id_or, idt::id_nor, idt::id_xor, idt::id_not,
  idt::id_bitand, idt::id_bitor, idt::id_bitnot, idt::id_bitxor,
  idt::id_bitnand, idt::id_bitnor, idt::id_bitxnor, idt::id_notequal,
  idt::id_if, idt::id_symbol, idt::id_symbol_type, idt::id_next_symbol,
  idt::id_nondet_symbol, idt::id_predicate_symbol, idt::id_predicate_next_symbol, idt::id_nondet_bool,
  idt::id_empty, idt::id_side_effect, idt::id_statement, idt::id_statement_expression,
  idt::id_value, idt::id_constant, idt::id_block, idt::id_decl,
  idt::id_dead, idt::id_assign, idt::id_assign_div, idt::id_assign_mult,
  idt::id_assign_plus, idt::id_assign_minus, idt::id_assign_mod, idt::id_assign_shl,
  idt::id_assign_shr, idt::id_assign_ashr, idt::id_assign_lshr, idt::id_assign_bitand,
  idt::id_assign_bitxor, idt::id_assign_bitor, idt::id_assume, idt::id_assert,
  idt::id_assertion, idt::id_precondition, idt::id_precondition_instance, idt::id_goto,
  idt::id_gcc_computed_goto, idt::id_ifthenelse, idt::id_label, idt::id_break,
  idt::id_continue, idt::id_function_call, idt::id_return, idt::id_skip,
  idt::id_arguments, idt::id_array, idt::id_size, idt::id_frontend_pointer,
  idt::id_pointer, idt::id_block_pointer, idt::id_switch, idt::id_switch_case,
  idt::id_gcc_switch_case_range, idt::id_for, idt::id_while, idt::id_dowhile,
  idt::id_int, idt::id_integer, idt::id_natural, idt::id_real,
  idt::id_rational, idt::id_complex, idt::id_signed, idt::id_unsigned,
  idt::id_asm, idt::id_gcc_asm_input, idt::id_gcc_asm_output, idt::id_gcc_asm_clobbered_register,
  idt::id_incomplete_array, idt::id_incomplete_struct, idt::id_incomplete_union, idt::id_incomplete_class,
  idt::id_incomplete_c_enum, idt::id_C_incomplete, idt::id_identifier, idt::id_name,
  idt::id_cpp_name, idt::id_component_cpp_name, idt::id_C_id_class, idt::id_declaration,
  idt::id_declaration_list, idt::id_declarator, idt::id_struct, idt::id_c_bit_field,
  idt::id_union, idt::id_class, idt::id_merged_type, idt::id_range,
  idt::id_from, idt::id_to, idt::id_module, idt::id_parameter,
  idt::id_component_name, idt::id_component_number, idt::id_tag, idt::id_default,
  idt::id_C_default_value, idt::id_base_name, idt::id_C_base_name, idt::id_string,
  idt::id_C_string_constant, idt::id_string_constant, idt::id_width, idt::id_components,
  idt::id_bv, idt::id_f, idt::id_with, idt::id_trans,
  idt::id_throw, idt::id_try_catch, idt::id_noexcept, idt::id_CPROVER_throw,
  idt::id_CPROVER_try_catch, idt::id_CPROVER_try_finally, idt::id_protection, idt::id_private,
  idt::id_public, idt::id_protected, idt::id_virtual, idt::id_volatile,
  idt::id_const, idt::id_constexpr, idt::id_inline, idt::id_forall,
  idt::id_exists, idt::id_repeat, idt::id_extractbit, idt::id_extractbits,
  idt::id_C_reference, idt::id_C_rvalue_reference, idt::id_true, idt::id_false,
  idt::id_address_of, idt::id_dereference, idt::id_C_lvalue, idt::id_C_base,
  idt::id_destination, idt::id_main, idt::id_expression, idt::id_allocate,
  idt::id_C_cxx_alloc_type, idt::id_cpp_new, idt::id_cpp_delete, idt::id_cpp_new_array,
  idt::id_cpp_delete_array, idt::id_java_new, idt::id_java_new_array, idt::id_java_new_array_data,
  idt::id_java_string_literal, idt::id_printf, idt::id_input, idt::id_output,
  idt::id_nondet, idt::id_NULL, idt::id_null, idt::id_nullptr,
  idt::id_c_enum, idt::id_enumeration, idt::id_elements, idt::id_unknown,
  idt::id_uninitialized, idt::id_invalid, idt::id_C_invalid_object, idt::id_pointer_offset,
  idt::id_pointer_object, idt::id_invalid_pointer, idt::id_ieee_float_equal, idt::id_ieee_float_notequal,
  idt::id_isnan, idt::id_lambda, idt::id_array_of, idt::id_array_equal,
  idt::id_array_set, idt::id_array_copy, idt::id_array_list, idt::id_mod,
  idt::id_rem, idt::id_shr, idt::id_ashr, idt::id_lshr,
  idt::id_shl, idt::id_rol, idt::id_ror, idt::id_comma,
  idt::id_concatenation, idt::id_infinity, idt::id_return_type, idt::id_typedef,
  idt::id_typedef_type, idt::id_C_typedef, idt::id_extern, idt::id_static,
  idt::id_auto, idt::id_register, idt::id_thread_local, idt::id_thread,
  idt::id_C_thread_local, idt::id_C_static_lifetime, idt::id_mutable, idt::id_void,
  idt::id_int8, idt::id_int16, idt::id_int32, idt::id_int64,
  idt::id_ptr32, idt::id_ptr64, idt::id_char, idt::id_short,
  idt::id_long, idt::id_float, idt::id_double, idt::id_byte,
  idt::id_boolean, idt::id_long_double, idt::id_signed_char, idt::id_unsigned_char,
  idt::id_signed_int, idt::id_unsigned_int, idt::id_signed_long_int, idt::id_unsigned_long_int,
  idt::id_signed_short_int, idt::id_unsigned_short_int, idt::id_signed_long_long_int, idt::id_unsigned_long_long_int,
  idt::id_signed_int128, idt::id_unsigned_int128, idt::id_case, idt::id_C_inlined,
  idt::id_C_hide, idt::id_hide, idt::id_abs, idt::id_sign,
  idt::id_access, idt::id_C_access, idt::id_postincrement, idt::id_postdecrement,
  idt::id_preincrement, idt::id_predecrement, idt::id_integer_bits, idt::id_KnR,
  idt::id_C_KnR, idt::id_constraint_select_one, idt::id_cond, idt::id_bv_literals,
  idt::id_isfinite, idt::id_isinf, idt::id_isnormal, idt::id_alignof,
  idt::id_clang_builtin_convertvector, idt::id_gcc_builtin_va_arg, idt::id_gcc_builtin_types_compatible_p, idt::id_gcc_builtin_va_arg_next,
  idt::id_gcc_builtin_va_list, idt::id_gcc_float16, idt::id_gcc_float32, idt::id_gcc_float32x,
  idt::id_gcc_float64, idt::id_gcc_float64x, idt::id_gcc_float80, idt::id_gcc_float128,
  idt::id_gcc_float128x, idt::id_gcc_int128, idt::id_gcc_decimal32, idt::id_gcc_decimal64,
  idt::id_gcc_decimal128, idt::id_builtin_offsetof, idt::id_0, idt::id_1,
  idt::id_sizeof, idt::id_type_arg, idt::id_expr_arg, idt::id_expression_list,
  idt::id_initializer_list, idt::id_gcc_conditional_expression, idt::id_gcc_local_label, idt::id_gcc,
  idt::id_msc, idt::id_typeof, idt::id_ellipsis, idt::id_flavor,
  idt::id_ge, idt::id_le, idt::id_gt, idt::id_lt,
  idt::id_plus, idt::id_minus, idt::id_unary_minus, idt::id_unary_plus,
  idt::id_mult, idt::id_div, idt::id_power, idt::id_factorial_power,
  idt::id_pretty_name, idt::id_C_class, idt::id_C_field, idt::id_C_interface,
  idt::id_event, idt::id_designated_initializer, idt::id_designator, idt::id_member_designator,
  idt::id_index_designator, idt::id_C_constant, idt::id_C_volatile, idt::id_C_restricted,
  idt::id_C_identifier, idt::id_C_implicit, idt::id_C_ptr32, idt::id_C_ptr64,
  idt::id_C_atomic, idt::id_restrict, idt::id_byte_extract_big_endian, idt::id_byte_extract_little_endian,
  idt::id_byte_update_big_endian, idt::id_byte_update_little_endian, idt::id_replication, idt::id_cprover_atomic,
  idt::id_atomic, idt::id_atomic_type_specifier, idt::id_atomic_begin, idt::id_atomic_end,
  idt::id_start_thread, idt::id_end_thread, idt::id_coverage_criterion, idt::id_initializer,
  idt::id_anonymous, idt::id_C_is_anonymous, idt::id_is_enum_constant, idt::id_is_inline,
  idt::id_is_extern, idt::id_is_synchronized, idt::id_is_native_method, idt::id_is_varargs_method,
  idt::id_is_global, idt::id_is_thread_local, idt::id_is_parameter, idt::id_is_member,
  idt::id_is_type, idt::id_is_register, idt::id_is_typedef, idt::id_is_static,
  idt::id_is_template, idt::id_is_static_assert, idt::id_is_virtual, idt::id_C_is_virtual,
  idt::id_literal, idt::id_member_initializers, idt::id_member_initializer, idt::id_method_qualifier,
  idt::id_methods, idt::id_constructor, idt::id_destructor, idt::id_bases,
  idt::id_base, idt::id_from_base, idt::id_operator, idt::id_template,
  idt::id_template_class_instance, idt::id_template_function_instance, idt::id_template_type, idt::id_template_args,
  idt::id_template_parameter, idt::id_template_parameters, idt::id_C_template, idt::id_C_template_arguments,
  idt::id_C_template_case, idt::id_typename, idt::id_C, idt::id_cpp,
  idt::id_java, idt::id_decl_block, idt::id_decl_type, idt::id_parameters,
  idt::id_wchar_t, idt::id_char16_t, idt::id_char32_t, idt::id_size_t,
  idt::id_ssize_t, idt::id_mode, idt::id_this, idt::id_C_this,
  idt::id_reduction_and, idt::id_reduction_or, idt::id_reduction_nand, idt::id_reduction_nor,
  idt::id_reduction_xor, idt::id_reduction_xnor, idt::id_C_zero_initializer, idt::id_body,
  idt::id_temporary_object, idt::id_overflow_plus, idt::id_overflow_minus, idt::id_overflow_mult,
  idt::id_overflow_unary_minus, idt::id_object_descriptor, idt::id_dynamic_object, idt::id_C_dynamic,
  idt::id_object_size, idt::id_good_pointer, idt::id_integer_address, idt::id_integer_address_object,
  idt::id_null_object, idt::id_static_object, idt::id_stack_object, idt::id_C_is_failed_symbol,
  idt::id_C_failed_symbol, idt::id_friend, idt::id_C_friends, idt::id_explicit,
  idt::id_storage_spec, idt::id_member_spec, idt::id_msc_declspec, idt::id_packed,
  idt::id_C_packed, idt::id_transparent_union, idt::id_C_transparent_union, idt::id_aligned,
  idt::id_C_alignment, idt::id_vector, idt::id_abstract, idt::id_function_application,
  idt::id_cpp_declarator, idt::id_cpp_linkage_spec, idt::id_cpp_namespace_spec, idt::id_cpp_storage_spec,
  idt::id_cpp_using, idt::id_cpp_declaration, idt::id_cpp_static_assert, idt::id_cpp_member_spec,
  idt::id_C_c_type, idt::id_namespace, idt::id_linkage, idt::id_decltype,
  idt::id_C_tag_only_declaration, idt::id_struct_tag, idt::id_union_tag, idt::id_c_enum_tag,
  idt::id_verilog_case_equality, idt::id_verilog_case_inequality, idt::id_user_specified_predicate, idt::id_user_specified_parameter_predicates,
  idt::id_user_specified_return_predicates, idt::id_unassigned, idt::id_new_object, idt::id_complex_real,
  idt::id_complex_imag, idt::id_imag, idt::id_msc_try_except, idt::id_msc_try_finally,
  idt::id_msc_leave, idt::id_msc_uuidof, idt::id_msc_if_exists, idt::id_msc_if_not_exists,
  idt::id_msc_underlying_type, idt::id_msc_based, idt::id_alias, idt::id_ptr_object,
  idt::id_C_c_sizeof_type, idt::id_array_update, idt::id_update, idt::id_static_assert,
  idt::id_gcc_attribute_mode, idt::id_built_in, idt::id_exception_list, idt::id_exception_id,
  idt::id_predicate_passive_symbol, idt::id_cw_va_arg_typeof, idt::id_fence, idt::id_sync,
  idt::id_lwsync, idt::id_isync, idt::id_WRfence, idt::id_RRfence,
  idt::id_RWfence, idt::id_WWfence, idt::id_RRcumul, idt::id_RWcumul,
  idt::id_WWcumul, idt::id_WRcumul, idt::id_generic_selection, idt::id_generic_associations,
  idt::id_generic_association, idt::id_floatbv_plus, idt::id_floatbv_minus, idt::id_floatbv_mult,
  idt::id_floatbv_div, idt::id_floatbv_rem, idt::id_floatbv_typecast, idt::id_compound_literal,
  idt::id_custom_bv, idt::id_custom_unsignedbv, idt::id_custom_signedbv, idt::id_custom_fixedbv,
  idt::id_custom_floatbv, idt::id_C_SSA_symbol, idt::id_L0, idt::id_L1,
  idt::id_L2, idt::id_L1_object_identifier, idt::id_already_typechecked, idt::id_C_va_arg_type,
  idt::id_smt2_symbol, idt::id_onehot, idt::id_onehot0, idt::id_popcount,
  idt::id_function_type, idt::id_noreturn, idt::id_C_noreturn, idt::id_weak,
  idt::id_is_weak, idt::id_used, idt::id_is_used, idt::id_C_spec_loop_invariant,
  idt::id_C_spec_requires, idt::id_C_spec_ensures, idt::id_virtual_function, idt::id_element_type,
  idt::id_working_directory, idt::id_section, idt::id_bswap, idt::id_java_bytecode_index,
  idt::id_java_instanceof, idt::id_java_super_method_call, idt::id_java_enum_static_unwind, idt::id_push_catch,
  idt::id_pop_catch, idt::id_exception_landingpad, idt::id_length_upper_bound, idt::id_cprover_associate_array_to_pointer_func,
  idt::id_cprover_associate_length_to_array_func, idt::id_cprover_char_literal_func, idt::id_cprover_string_literal_func, idt::id_cprover_string_char_at_func,
  idt::id_cprover_string_char_set_func, idt::id_cprover_string_code_point_at_func, idt::id_cprover_string_code_point_before_func, idt::id_cprover_string_code_point_count_func,
  idt::id_cprover_string_offset_by_code_point_func, idt::id_cprover_string_compare_to_func, idt::id_cprover_string_concat_func, idt::id_cprover_string_concat_int_func,
  idt::id_cprover_string_concat_long_func, idt::id_cprover_string_concat_char_func, idt::id_cprover_string_concat_double_func, idt::id_cprover_string_concat_float_func,
  idt::id_cprover_string_concat_code_point_func, idt::id_cprover_string_constrain_characters_func, idt::id_cprover_string_contains_func, idt::id_cprover_string_copy_func,
  idt::id_cprover_string_delete_func, idt::id_cprover_string_delete_char_at_func, idt::id_cprover_string_equal_func, idt::id_cprover_string_equals_ignore_case_func,
  idt::id_cprover_string_empty_string_func, idt::id_cprover_string_endswith_func, idt::id_cprover_string_format_func, idt::id_cprover_string_hash_code_func,
  idt::id_cprover_string_index_of_func, idt::id_cprover_string_intern_func, idt::id_cprover_string_insert_func, idt::id_cprover_string_insert_int_func,
  idt::id_cprover_string_insert_long_func, idt::id_cprover_string_insert_bool_func, idt::id_cprover_string_insert_char_func, idt::id_cprover_string_insert_float_func,
  idt::id_cprover_string_insert_double_func, idt::id_cprover_string_is_prefix_func, idt::id_cprover_string_is_suffix_func, idt::id_cprover_string_is_empty_func,
  idt::id_cprover_string_last_index_of_func, idt::id_cprover_string_length_func, idt::id_cprover_string_of_int_func, idt::id_cprover_string_of_int_hex_func,
  idt::id_cprover_string_of_long_func, idt::id_cprover_string_of_bool_func, idt::id_cprover_string_of_float_func, idt::id_cprover_string_of_float_scientific_notation_func,
  idt::id_cprover_string_of_double_func, idt::id_cprover_string_of_char_func, idt::id_cprover_string_parse_int_func, idt::id_cprover_string_replace_func,
  idt::id_cprover_string_set_length_func, idt::id_cprover_string_startswith_func, idt::id_cprover_string_substring_func, idt::id_cprover_string_to_lower_case_func,
  idt::id_cprover_string_to_upper_case_func, idt::id_cprover_string_trim_func, idt::id_skip_initialize, idt::id_basic_block_covered_lines,
  idt::id_is_nondet_nullable, idt::id_array_replace, idt::id_switch_case_number, idt::id_java_array_access,
  idt::id_java_member_access, idt::id_integer_dereference, idt::id_C_java_generic_parameter, idt::id_C_java_generic_type,
  idt::id_C_java_generics_class_type, idt::id_C_java_implicitly_generic_class_type, idt::id_C_java_generic_symbol, idt::id_generic_types,
  idt::id_implicit_generic_types, idt::id_type_variables, idt::id_java_lambda_method_handle_index, idt::id_java_lambda_method_handles,
  idt::id_havoc_object, idt::id_overflow_shl, idt::id_C_no_initialization_required, idt::id_C_no_nondet_initialization,
  idt::id_overlay_class, idt::id_overlay_method, idt::id_ignored_method, idt::id_is_annotation,
  idt::id_C_annotations, idt::id_final, idt::id_bits_per_byte, idt::id_C_abstract,
  idt::id_synthetic, idt::id_interface, idt::id_C_must_not_throw, idt::id_is_inner_class,
  idt::id_is_anonymous, idt::id_outer_class, idt::id_is_bridge_method, idt::id_C_is_operator,
  idt::id_C_not_accessible, idt::id_C_override_constantness, idt::id_C_bound, idt::id_C_is_static,
  idt::id_C_call_by_value, idt::id_C_virtual_name, idt::id_C_unnamed_object, idt::id_C_temporary_avoided,
  idt::id_C_qualifier, idt::id_C_array_ini, idt::id_r_ok, idt::id_w_ok,
  idt::id_super_class, idt::id_exceptions_thrown_list, idt::id_C_java_method_type, idt::id_compiled,
  idt::id_partial_specialization_args, idt::id_specialization_of, idt::id_init_args, idt::id_ambiguous,
  idt::id_specialization_template_args, idt::id_full_template_args, idt::id_instantiated_with, idt::id_template_methods,
  idt::id_cpp_not_typechecked, idt::id_noaccess, idt::id_is_operator, idt::id_is_cast_operator,
  idt::id_is_explicit, idt::id_is_mutable, idt::id_virtual_name, idt::id_is_pure_virtual,
  idt::id_is_vtptr, idt::id_prefix, idt::id_cv, idt::id_cpp_dummy_destructor,
  idt::id_cast_expression, idt::id_pod_constructor, idt::id_template_decls, idt::id_throw_decl,
  idt::id_typeid, idt::id_C_quoted
}
 

Variables

const char * irep_ids_table []
 

Detailed Description

Internal Representation.

List of irep id names and values.

For an explanation of how this works, see irep_ids.h.

Definition in file irep_ids.cpp.

Macro Definition Documentation

◆ IREP_ID_ONE [1/3]

#define IREP_ID_ONE (   id)    #id,

Definition at line 38 of file irep_ids.cpp.

◆ IREP_ID_ONE [2/3]

#define IREP_ID_ONE (   the_id)    id_##the_id,

Definition at line 38 of file irep_ids.cpp.

◆ IREP_ID_ONE [3/3]

#define IREP_ID_ONE (   the_id)
Value:
static_cast<unsigned>(idt::id_##the_id));
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:35
static dstringt make_from_table_index(unsigned no)
Definition: dstring.h:50

Definition at line 38 of file irep_ids.cpp.

◆ IREP_ID_TWO [1/3]

#define IREP_ID_TWO (   id,
  str 
)    #str,

Definition at line 41 of file irep_ids.cpp.

◆ IREP_ID_TWO [2/3]

#define IREP_ID_TWO (   the_id,
  str 
)    id_##the_id,

Definition at line 41 of file irep_ids.cpp.

◆ IREP_ID_TWO [3/3]

#define IREP_ID_TWO (   the_id,
  str 
)
Value:
static_cast<unsigned>(idt::id_##the_id));
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:35
static dstringt make_from_table_index(unsigned no)
Definition: dstring.h:50

Definition at line 41 of file irep_ids.cpp.

Enumeration Type Documentation

◆ idt

enum idt : unsigned
strong
Enumerator
IREP_ID_ONE 
IREP_ID_TWO 
/builddir/build/BUILD/cbmc-cbmc-5.11/src/util/irep_ids.cpp 

List of irep id names and values.

For an explanation of how this works, see irep_ids.h.

id_empty_string 
id_let 
id_nil 
id_type 
id_bool 
id_c_bool 
id_proper_bool 
id_signedbv 
id_unsignedbv 
id_verilog_signedbv 
id_verilog_unsignedbv 
id_floatbv 
id_fixedbv 
id_x86_extended 
id_C_source_location 
id_C_end_location 
id_C_is_padding 
id_file 
id_line 
id_column 
id_comment 
id_property 
id_property_class 
id_property_id 
id_function 
id_mathematical_function 
id_code 
id_typecast 
id_static_cast 
id_dynamic_cast 
id_const_cast 
id_reinterpret_cast 
id_index 
id_ptrmember 
id_member 
id_member_name 
id_C_member_name 
id_equal 
id_implies 
id_and 
id_nand 
id_or 
id_nor 
id_xor 
id_not 
id_bitand 
id_bitor 
id_bitnot 
id_bitxor 
id_bitnand 
id_bitnor 
id_bitxnor 
id_notequal 
id_if 
id_symbol 
id_symbol_type 
id_next_symbol 
id_nondet_symbol 
id_predicate_symbol 
id_predicate_next_symbol 
id_nondet_bool 
id_empty 
id_side_effect 
id_statement 
id_statement_expression 
id_value 
id_constant 
id_block 
id_decl 
id_dead 
id_assign 
id_assign_div 
id_assign_mult 
id_assign_plus 
id_assign_minus 
id_assign_mod 
id_assign_shl 
id_assign_shr 
id_assign_ashr 
id_assign_lshr 
id_assign_bitand 
id_assign_bitxor 
id_assign_bitor 
id_assume 
id_assert 
id_assertion 
id_precondition 
id_precondition_instance 
id_goto 
id_gcc_computed_goto 
id_ifthenelse 
id_label 
id_break 
id_continue 
id_function_call 
id_return 
id_skip 
id_arguments 
id_array 
id_size 
id_frontend_pointer 
id_pointer 
id_block_pointer 
id_switch 
id_switch_case 
id_gcc_switch_case_range 
id_for 
id_while 
id_dowhile 
id_int 
id_integer 
id_natural 
id_real 
id_rational 
id_complex 
id_signed 
id_unsigned 
id_asm 
id_gcc_asm_input 
id_gcc_asm_output 
id_gcc_asm_clobbered_register 
id_incomplete_array 
id_incomplete_struct 
id_incomplete_union 
id_incomplete_class 
id_incomplete_c_enum 
id_C_incomplete 
id_identifier 
id_name 
id_cpp_name 
id_component_cpp_name 
id_C_id_class 
id_declaration 
id_declaration_list 
id_declarator 
id_struct 
id_c_bit_field 
id_union 
id_class 
id_merged_type 
id_range 
id_from 
id_to 
id_module 
id_parameter 
id_component_name 
id_component_number 
id_tag 
id_default 
id_C_default_value 
id_base_name 
id_C_base_name 
id_string 
id_C_string_constant 
id_string_constant 
id_width 
id_components 
id_bv 
id_f 
id_with 
id_trans 
id_throw 
id_try_catch 
id_noexcept 
id_CPROVER_throw 
id_CPROVER_try_catch 
id_CPROVER_try_finally 
id_protection 
id_private 
id_public 
id_protected 
id_virtual 
id_volatile 
id_const 
id_constexpr 
id_inline 
id_forall 
id_exists 
id_repeat 
id_extractbit 
id_extractbits 
id_C_reference 
id_C_rvalue_reference 
id_true 
id_false 
id_address_of 
id_dereference 
id_C_lvalue 
id_C_base 
id_destination 
id_main 
id_expression 
id_allocate 
id_C_cxx_alloc_type 
id_cpp_new 
id_cpp_delete 
id_cpp_new_array 
id_cpp_delete_array 
id_java_new 
id_java_new_array 
id_java_new_array_data 
id_java_string_literal 
id_printf 
id_input 
id_output 
id_nondet 
id_NULL 
id_null 
id_nullptr 
id_c_enum 
id_enumeration 
id_elements 
id_unknown 
id_uninitialized 
id_invalid 
id_C_invalid_object 
id_pointer_offset 
id_pointer_object 
id_invalid_pointer 
id_ieee_float_equal 
id_ieee_float_notequal 
id_isnan 
id_lambda 
id_array_of 
id_array_equal 
id_array_set 
id_array_copy 
id_array_list 
id_mod 
id_rem 
id_shr 
id_ashr 
id_lshr 
id_shl 
id_rol 
id_ror 
id_comma 
id_concatenation 
id_infinity 
id_return_type 
id_typedef 
id_typedef_type 
id_C_typedef 
id_extern 
id_static 
id_auto 
id_register 
id_thread_local 
id_thread 
id_C_thread_local 
id_C_static_lifetime 
id_mutable 
id_void 
id_int8 
id_int16 
id_int32 
id_int64 
id_ptr32 
id_ptr64 
id_char 
id_short 
id_long 
id_float 
id_double 
id_byte 
id_boolean 
id_long_double 
id_signed_char 
id_unsigned_char 
id_signed_int 
id_unsigned_int 
id_signed_long_int 
id_unsigned_long_int 
id_signed_short_int 
id_unsigned_short_int 
id_signed_long_long_int 
id_unsigned_long_long_int 
id_signed_int128 
id_unsigned_int128 
id_case 
id_C_inlined 
id_C_hide 
id_hide 
id_abs 
id_sign 
id_access 
id_C_access 
id_postincrement 
id_postdecrement 
id_preincrement 
id_predecrement 
id_integer_bits 
id_KnR 
id_C_KnR 
id_constraint_select_one 
id_cond 
id_bv_literals 
id_isfinite 
id_isinf 
id_isnormal 
id_alignof 
id_clang_builtin_convertvector 
id_gcc_builtin_va_arg 
id_gcc_builtin_types_compatible_p 
id_gcc_builtin_va_arg_next 
id_gcc_builtin_va_list 
id_gcc_float16 
id_gcc_float32 
id_gcc_float32x 
id_gcc_float64 
id_gcc_float64x 
id_gcc_float80 
id_gcc_float128 
id_gcc_float128x 
id_gcc_int128 
id_gcc_decimal32 
id_gcc_decimal64 
id_gcc_decimal128 
id_builtin_offsetof 
id_0 
id_1 
id_sizeof 
id_type_arg 
id_expr_arg 
id_expression_list 
id_initializer_list 
id_gcc_conditional_expression 
id_gcc_local_label 
id_gcc 
id_msc 
id_typeof 
id_ellipsis 
id_flavor 
id_ge 
id_le 
id_gt 
id_lt 
id_plus 
id_minus 
id_unary_minus 
id_unary_plus 
id_mult 
id_div 
id_power 
id_factorial_power 
id_pretty_name 
id_C_class 
id_C_field 
id_C_interface 
id_event 
id_designated_initializer 
id_designator 
id_member_designator 
id_index_designator 
id_C_constant 
id_C_volatile 
id_C_restricted 
id_C_identifier 
id_C_implicit 
id_C_ptr32 
id_C_ptr64 
id_C_atomic 
id_restrict 
id_byte_extract_big_endian 
id_byte_extract_little_endian 
id_byte_update_big_endian 
id_byte_update_little_endian 
id_replication 
id_cprover_atomic 
id_atomic 
id_atomic_type_specifier 
id_atomic_begin 
id_atomic_end 
id_start_thread 
id_end_thread 
id_coverage_criterion 
id_initializer 
id_anonymous 
id_C_is_anonymous 
id_is_enum_constant 
id_is_inline 
id_is_extern 
id_is_synchronized 
id_is_native_method 
id_is_varargs_method 
id_is_global 
id_is_thread_local 
id_is_parameter 
id_is_member 
id_is_type 
id_is_register 
id_is_typedef 
id_is_static 
id_is_template 
id_is_static_assert 
id_is_virtual 
id_C_is_virtual 
id_literal 
id_member_initializers 
id_member_initializer 
id_method_qualifier 
id_methods 
id_constructor 
id_destructor 
id_bases 
id_base 
id_from_base 
id_operator 
id_template 
id_template_class_instance 
id_template_function_instance 
id_template_type 
id_template_args 
id_template_parameter 
id_template_parameters 
id_C_template 
id_C_template_arguments 
id_C_template_case 
id_typename 
id_C 
id_cpp 
id_java 
id_decl_block 
id_decl_type 
id_parameters 
id_wchar_t 
id_char16_t 
id_char32_t 
id_size_t 
id_ssize_t 
id_mode 
id_this 
id_C_this 
id_reduction_and 
id_reduction_or 
id_reduction_nand 
id_reduction_nor 
id_reduction_xor 
id_reduction_xnor 
id_C_zero_initializer 
id_body 
id_temporary_object 
id_overflow_plus 
id_overflow_minus 
id_overflow_mult 
id_overflow_unary_minus 
id_object_descriptor 
id_dynamic_object 
id_C_dynamic 
id_object_size 
id_good_pointer 
id_integer_address 
id_integer_address_object 
id_null_object 
id_static_object 
id_stack_object 
id_C_is_failed_symbol 
id_C_failed_symbol 
id_friend 
id_C_friends 
id_explicit 
id_storage_spec 
id_member_spec 
id_msc_declspec 
id_packed 
id_C_packed 
id_transparent_union 
id_C_transparent_union 
id_aligned 
id_C_alignment 
id_vector 
id_abstract 
id_function_application 
id_cpp_declarator 
id_cpp_linkage_spec 
id_cpp_namespace_spec 
id_cpp_storage_spec 
id_cpp_using 
id_cpp_declaration 
id_cpp_static_assert 
id_cpp_member_spec 
id_C_c_type 
id_namespace 
id_linkage 
id_decltype 
id_C_tag_only_declaration 
id_struct_tag 
id_union_tag 
id_c_enum_tag 
id_verilog_case_equality 
id_verilog_case_inequality 
id_user_specified_predicate 
id_user_specified_parameter_predicates 
id_user_specified_return_predicates 
id_unassigned 
id_new_object 
id_complex_real 
id_complex_imag 
id_imag 
id_msc_try_except 
id_msc_try_finally 
id_msc_leave 
id_msc_uuidof 
id_msc_if_exists 
id_msc_if_not_exists 
id_msc_underlying_type 
id_msc_based 
id_alias 
id_ptr_object 
id_C_c_sizeof_type 
id_array_update 
id_update 
id_static_assert 
id_gcc_attribute_mode 
id_built_in 
id_exception_list 
id_exception_id 
id_predicate_passive_symbol 
id_cw_va_arg_typeof 
id_fence 
id_sync 
id_lwsync 
id_isync 
id_WRfence 
id_RRfence 
id_RWfence 
id_WWfence 
id_RRcumul 
id_RWcumul 
id_WWcumul 
id_WRcumul 
id_generic_selection 
id_generic_associations 
id_generic_association 
id_floatbv_plus 
id_floatbv_minus 
id_floatbv_mult 
id_floatbv_div 
id_floatbv_rem 
id_floatbv_typecast 
id_compound_literal 
id_custom_bv 
id_custom_unsignedbv 
id_custom_signedbv 
id_custom_fixedbv 
id_custom_floatbv 
id_C_SSA_symbol 
id_L0 
id_L1 
id_L2 
id_L1_object_identifier 
id_already_typechecked 
id_C_va_arg_type 
id_smt2_symbol 
id_onehot 
id_onehot0 
id_popcount 
id_function_type 
id_noreturn 
id_C_noreturn 
id_weak 
id_is_weak 
id_used 
id_is_used 
id_C_spec_loop_invariant 
id_C_spec_requires 
id_C_spec_ensures 
id_virtual_function 
id_element_type 
id_working_directory 
id_section 
id_bswap 
id_java_bytecode_index 
id_java_instanceof 
id_java_super_method_call 
id_java_enum_static_unwind 
id_push_catch 
id_pop_catch 
id_exception_landingpad 
id_length_upper_bound 
id_cprover_associate_array_to_pointer_func 
id_cprover_associate_length_to_array_func 
id_cprover_char_literal_func 
id_cprover_string_literal_func 
id_cprover_string_char_at_func 
id_cprover_string_char_set_func 
id_cprover_string_code_point_at_func 
id_cprover_string_code_point_before_func 
id_cprover_string_code_point_count_func 
id_cprover_string_offset_by_code_point_func 
id_cprover_string_compare_to_func 
id_cprover_string_concat_func 
id_cprover_string_concat_int_func 
id_cprover_string_concat_long_func 
id_cprover_string_concat_char_func 
id_cprover_string_concat_double_func 
id_cprover_string_concat_float_func 
id_cprover_string_concat_code_point_func 
id_cprover_string_constrain_characters_func 
id_cprover_string_contains_func 
id_cprover_string_copy_func 
id_cprover_string_delete_func 
id_cprover_string_delete_char_at_func 
id_cprover_string_equal_func 
id_cprover_string_equals_ignore_case_func 
id_cprover_string_empty_string_func 
id_cprover_string_endswith_func 
id_cprover_string_format_func 
id_cprover_string_hash_code_func 
id_cprover_string_index_of_func 
id_cprover_string_intern_func 
id_cprover_string_insert_func 
id_cprover_string_insert_int_func 
id_cprover_string_insert_long_func 
id_cprover_string_insert_bool_func 
id_cprover_string_insert_char_func 
id_cprover_string_insert_float_func 
id_cprover_string_insert_double_func 
id_cprover_string_is_prefix_func 
id_cprover_string_is_suffix_func 
id_cprover_string_is_empty_func 
id_cprover_string_last_index_of_func 
id_cprover_string_length_func 
id_cprover_string_of_int_func 
id_cprover_string_of_int_hex_func 
id_cprover_string_of_long_func 
id_cprover_string_of_bool_func 
id_cprover_string_of_float_func 
id_cprover_string_of_float_scientific_notation_func 
id_cprover_string_of_double_func 
id_cprover_string_of_char_func 
id_cprover_string_parse_int_func 
id_cprover_string_replace_func 
id_cprover_string_set_length_func 
id_cprover_string_startswith_func 
id_cprover_string_substring_func 
id_cprover_string_to_lower_case_func 
id_cprover_string_to_upper_case_func 
id_cprover_string_trim_func 
id_skip_initialize 
id_basic_block_covered_lines 
id_is_nondet_nullable 
id_array_replace 
id_switch_case_number 
id_java_array_access 
id_java_member_access 
id_integer_dereference 
id_C_java_generic_parameter 
id_C_java_generic_type 
id_C_java_generics_class_type 
id_C_java_implicitly_generic_class_type 
id_C_java_generic_symbol 
id_generic_types 
id_implicit_generic_types 
id_type_variables 
id_java_lambda_method_handle_index 
id_java_lambda_method_handles 
id_havoc_object 
id_overflow_shl 
id_C_no_initialization_required 
id_C_no_nondet_initialization 
id_overlay_class 
id_overlay_method 
id_ignored_method 
id_is_annotation 
id_C_annotations 
id_final 
id_bits_per_byte 
id_C_abstract 
id_synthetic 
id_interface 
id_C_must_not_throw 
id_is_inner_class 
id_is_anonymous 
id_outer_class 
id_is_bridge_method 
id_C_is_operator 
id_C_not_accessible 
id_C_override_constantness 
id_C_bound 
id_C_is_static 
id_C_call_by_value 
id_C_virtual_name 
id_C_unnamed_object 
id_C_temporary_avoided 
id_C_qualifier 
id_C_array_ini 
id_r_ok 
id_w_ok 
id_super_class 
id_exceptions_thrown_list 
id_C_java_method_type 
id_compiled 
id_partial_specialization_args 
id_specialization_of 
id_init_args 
id_ambiguous 
id_specialization_template_args 
id_full_template_args 
id_instantiated_with 
id_template_methods 
id_cpp_not_typechecked 
id_noaccess 
id_is_operator 
id_is_cast_operator 
id_is_explicit 
id_is_mutable 
id_virtual_name 
id_is_pure_virtual 
id_is_vtptr 
id_prefix 
id_cv 
id_cpp_dummy_destructor 
id_cast_expression 
id_pod_constructor 
id_template_decls 
id_throw_decl 
id_typeid 
id_C_quoted 

Definition at line 30 of file irep_ids.cpp.

Variable Documentation

◆ irep_ids_table

const char* irep_ids_table[]

Definition at line 18 of file irep_ids.cpp.