irep_ids.def

/// \file
/// List of irep id names and values.
/// For an explanation of how this works, see irep_ids.h.

IREP_ID_TWO(empty_string, )
IREP_ID_ONE(let)
IREP_ID_ONE(nil)
IREP_ID_ONE(type)
IREP_ID_ONE(bool)
IREP_ID_ONE(c_bool)
IREP_ID_ONE(proper_bool)
IREP_ID_ONE(signedbv)
IREP_ID_ONE(unsignedbv)
IREP_ID_ONE(verilog_signedbv)
IREP_ID_ONE(verilog_unsignedbv)
IREP_ID_ONE(floatbv)
IREP_ID_ONE(fixedbv)
IREP_ID_ONE(x86_extended)
IREP_ID_TWO(C_source_location, #source_location)
IREP_ID_TWO(C_end_location, #end_location)
IREP_ID_TWO(C_is_padding, #is_padding)
IREP_ID_ONE(file)
IREP_ID_ONE(line)
IREP_ID_ONE(column)
IREP_ID_ONE(comment)
IREP_ID_ONE(property)
IREP_ID_ONE(property_class)
IREP_ID_ONE(property_id)
IREP_ID_ONE(function)
IREP_ID_ONE(mathematical_function)
IREP_ID_ONE(code)
IREP_ID_ONE(typecast)
IREP_ID_ONE(static_cast)
IREP_ID_ONE(dynamic_cast)
IREP_ID_ONE(const_cast)
IREP_ID_ONE(reinterpret_cast)
IREP_ID_ONE(index)
IREP_ID_ONE(ptrmember)
IREP_ID_ONE(member)
IREP_ID_ONE(member_name)
IREP_ID_TWO(C_member_name, #member_name)
IREP_ID_TWO(equal, =)
IREP_ID_TWO(implies, =>)
IREP_ID_TWO(iff, <=>)
IREP_ID_ONE(and)
IREP_ID_ONE(nand)
IREP_ID_ONE(or)
IREP_ID_ONE(nor)
IREP_ID_ONE(xor)
IREP_ID_ONE(not)
IREP_ID_ONE(bitand)
IREP_ID_ONE(bitor)
IREP_ID_ONE(bitnot)
IREP_ID_ONE(bitxor)
IREP_ID_ONE(bitnand)
IREP_ID_ONE(bitnor)
IREP_ID_ONE(bitxnor)
IREP_ID_ONE(notequal)
IREP_ID_ONE(if)
IREP_ID_ONE(symbol)
IREP_ID_ONE(next_symbol)
IREP_ID_ONE(nondet_symbol)
IREP_ID_ONE(predicate_symbol)
IREP_ID_ONE(predicate_next_symbol)
IREP_ID_ONE(nondet_bool)
IREP_ID_ONE(empty)
IREP_ID_ONE(side_effect)
IREP_ID_ONE(statement)
IREP_ID_ONE(statement_expression)
IREP_ID_ONE(value)
IREP_ID_ONE(constant)
IREP_ID_ONE(block)
IREP_ID_ONE(decl)
IREP_ID_ONE(dead)
IREP_ID_ONE(assign)
IREP_ID_ONE(assign_div)
IREP_ID_TWO(assign_mult, assign*)
IREP_ID_TWO(assign_plus, assign+)
IREP_ID_TWO(assign_minus, assign-)
IREP_ID_ONE(assign_mod)
IREP_ID_ONE(assign_shl)
IREP_ID_ONE(assign_shr)
IREP_ID_ONE(assign_ashr)
IREP_ID_ONE(assign_lshr)
IREP_ID_ONE(assign_bitand)
IREP_ID_ONE(assign_bitxor)
IREP_ID_ONE(assign_bitor)
IREP_ID_ONE(assume)
IREP_ID_ONE(assert)
IREP_ID_ONE(assertion)
IREP_ID_ONE(precondition)
IREP_ID_ONE(precondition_instance)
IREP_ID_ONE(goto)
IREP_ID_ONE(gcc_computed_goto)
IREP_ID_ONE(ifthenelse)
IREP_ID_ONE(label)
IREP_ID_ONE(break)
IREP_ID_ONE(continue)
IREP_ID_ONE(function_call)
IREP_ID_ONE(return)
IREP_ID_ONE(skip)
IREP_ID_ONE(arguments)
IREP_ID_ONE(array)
IREP_ID_ONE(size)
IREP_ID_ONE(frontend_pointer)
IREP_ID_ONE(pointer)
IREP_ID_ONE(block_pointer)
IREP_ID_ONE(switch)
IREP_ID_ONE(switch_case)
IREP_ID_ONE(gcc_switch_case_range)
IREP_ID_ONE(for)
IREP_ID_ONE(while)
IREP_ID_ONE(dowhile)
IREP_ID_ONE(int)
IREP_ID_ONE(integer)
IREP_ID_ONE(natural)
IREP_ID_ONE(real)
IREP_ID_ONE(rational)
IREP_ID_ONE(complex)
IREP_ID_ONE(signed)
IREP_ID_ONE(unsigned)
IREP_ID_ONE(asm)
IREP_ID_ONE(gcc_asm_input)
IREP_ID_ONE(gcc_asm_output)
IREP_ID_ONE(gcc_asm_clobbered_register)
IREP_ID_ONE(incomplete_array)
IREP_ID_ONE(incomplete_struct)
IREP_ID_ONE(incomplete_union)
IREP_ID_ONE(incomplete_class)
IREP_ID_ONE(incomplete_c_enum)
IREP_ID_TWO(C_incomplete, #incomplete)
IREP_ID_ONE(identifier)
IREP_ID_ONE(name)
IREP_ID_ONE(cpp_name)
IREP_ID_ONE(component_cpp_name)
IREP_ID_TWO(C_id_class, #id_class)
IREP_ID_ONE(declaration)
IREP_ID_ONE(declaration_list)
IREP_ID_ONE(declarator)
IREP_ID_ONE(struct)
IREP_ID_ONE(c_bit_field)
IREP_ID_ONE(union)
IREP_ID_ONE(class)
IREP_ID_ONE(merged_type)
IREP_ID_ONE(range)
IREP_ID_ONE(from)
IREP_ID_ONE(to)
IREP_ID_ONE(module)
IREP_ID_ONE(parameter)
IREP_ID_ONE(component_name)
IREP_ID_ONE(component_number)
IREP_ID_ONE(tag)
IREP_ID_ONE(default)
IREP_ID_TWO(C_default_value, #default_value)
IREP_ID_ONE(base_name)
IREP_ID_TWO(C_base_name, #base_name)
IREP_ID_ONE(string)
IREP_ID_TWO(C_string_constant, #string_constant)
IREP_ID_ONE(string_constant)
IREP_ID_ONE(width)
IREP_ID_ONE(components)
IREP_ID_ONE(bv)
IREP_ID_ONE(f)
IREP_ID_ONE(with)
IREP_ID_ONE(trans)
IREP_ID_ONE(throw)
IREP_ID_ONE(try_catch)
IREP_ID_ONE(noexcept)
IREP_ID_ONE(CPROVER_throw)
IREP_ID_ONE(CPROVER_try_catch)
IREP_ID_ONE(CPROVER_try_finally)
IREP_ID_ONE(protection)
IREP_ID_ONE(private)
IREP_ID_ONE(public)
IREP_ID_ONE(protected)
IREP_ID_ONE(virtual)
IREP_ID_ONE(volatile)
IREP_ID_ONE(const)
IREP_ID_ONE(constexpr)
IREP_ID_ONE(inline)
IREP_ID_ONE(forall)
IREP_ID_ONE(exists)
IREP_ID_ONE(repeat)
IREP_ID_ONE(extractbit)
IREP_ID_ONE(extractbits)
IREP_ID_TWO(C_reference, #reference)
IREP_ID_TWO(C_rvalue_reference, #rvalue_reference)
IREP_ID_ONE(true)
IREP_ID_ONE(false)
IREP_ID_ONE(address_of)
IREP_ID_ONE(dereference)
IREP_ID_TWO(C_lvalue, #lvalue)
IREP_ID_TWO(C_base, #base)
IREP_ID_ONE(destination)
IREP_ID_ONE(main)
IREP_ID_ONE(expression)
IREP_ID_ONE(free)
IREP_ID_ONE(allocate)
IREP_ID_TWO(C_cxx_alloc_type, #cxx_alloc_type)
IREP_ID_ONE(cpp_new)
IREP_ID_ONE(cpp_delete)
IREP_ID_TWO(cpp_new_array, cpp_new[])
IREP_ID_TWO(cpp_delete_array, cpp_delete[])
IREP_ID_ONE(java_new)
IREP_ID_ONE(java_new_array)
IREP_ID_ONE(java_new_array_data)
IREP_ID_ONE(java_string_literal)
IREP_ID_ONE(printf)
IREP_ID_ONE(input)
IREP_ID_ONE(output)
IREP_ID_ONE(nondet)
IREP_ID_ONE(NULL)
IREP_ID_ONE(null)
IREP_ID_ONE(nullptr)
IREP_ID_ONE(c_enum)
IREP_ID_ONE(enumeration)
IREP_ID_ONE(elements)
IREP_ID_ONE(unknown)
IREP_ID_ONE(uninitialized)
IREP_ID_ONE(invalid)
IREP_ID_TWO(C_invalid_object, #invalid_object)
IREP_ID_ONE(pointer_offset)
IREP_ID_ONE(pointer_object)
IREP_ID_TWO(invalid_pointer, invalid-pointer)
IREP_ID_ONE(ieee_float_equal)
IREP_ID_ONE(ieee_float_notequal)
IREP_ID_ONE(isnan)
IREP_ID_ONE(lambda)
IREP_ID_ONE(array_of)
IREP_ID_ONE(array_equal)
IREP_ID_ONE(array_set)
IREP_ID_ONE(array_copy)
IREP_ID_ONE(array_list)
IREP_ID_ONE(mod)
IREP_ID_ONE(rem)
IREP_ID_ONE(shr)
IREP_ID_ONE(ashr)
IREP_ID_ONE(lshr)
IREP_ID_ONE(shl)
IREP_ID_ONE(rol)
IREP_ID_ONE(ror)
IREP_ID_ONE(comma)
IREP_ID_ONE(concatenation)
IREP_ID_ONE(infinity)
IREP_ID_ONE(return_type)
IREP_ID_ONE(typedef)
IREP_ID_TWO(C_typedef, #typedef)
IREP_ID_ONE(extern)
IREP_ID_ONE(static)
IREP_ID_ONE(auto)
IREP_ID_ONE(register)
IREP_ID_ONE(thread_local)
IREP_ID_ONE(thread)
IREP_ID_TWO(C_thread_local, #thread_local)
IREP_ID_TWO(C_static_lifetime, #static_lifetime)
IREP_ID_ONE(mutable)
IREP_ID_ONE(void)
IREP_ID_ONE(int8)
IREP_ID_ONE(int16)
IREP_ID_ONE(int32)
IREP_ID_ONE(int64)
IREP_ID_ONE(ptr32)
IREP_ID_ONE(ptr64)
IREP_ID_ONE(char)
IREP_ID_ONE(short)
IREP_ID_ONE(long)
IREP_ID_ONE(float)
IREP_ID_ONE(double)
IREP_ID_ONE(byte)
IREP_ID_ONE(boolean)
IREP_ID_ONE(long_double)
IREP_ID_ONE(signed_char)
IREP_ID_ONE(unsigned_char)
IREP_ID_ONE(signed_int)
IREP_ID_ONE(unsigned_int)
IREP_ID_ONE(signed_long_int)
IREP_ID_ONE(unsigned_long_int)
IREP_ID_ONE(signed_short_int)
IREP_ID_ONE(unsigned_short_int)
IREP_ID_ONE(signed_long_long_int)
IREP_ID_ONE(unsigned_long_long_int)
IREP_ID_ONE(signed_int128)
IREP_ID_ONE(unsigned_int128)
IREP_ID_ONE(case)
IREP_ID_TWO(C_inlined, #inlined)
IREP_ID_TWO(C_hide, #hide)
IREP_ID_ONE(hide)
IREP_ID_ONE(abs)
IREP_ID_ONE(sign)
IREP_ID_ONE(access)
IREP_ID_TWO(C_access, #access)
IREP_ID_ONE(postincrement)
IREP_ID_ONE(postdecrement)
IREP_ID_ONE(preincrement)
IREP_ID_ONE(predecrement)
IREP_ID_ONE(integer_bits)
IREP_ID_ONE(KnR)
IREP_ID_TWO(C_KnR, #KnR)
IREP_ID_ONE(constraint_select_one)
IREP_ID_ONE(cond)
IREP_ID_ONE(bv_literals)
IREP_ID_ONE(isfinite)
IREP_ID_ONE(isinf)
IREP_ID_ONE(isnormal)
IREP_ID_ONE(alignof)
IREP_ID_ONE(clang_builtin_convertvector)
IREP_ID_ONE(gcc_builtin_va_arg)
IREP_ID_ONE(gcc_builtin_types_compatible_p)
IREP_ID_ONE(gcc_builtin_va_arg_next)
IREP_ID_ONE(gcc_builtin_va_list)
IREP_ID_ONE(gcc_float16)
IREP_ID_ONE(gcc_float32)
IREP_ID_ONE(gcc_float32x)
IREP_ID_ONE(gcc_float64)
IREP_ID_ONE(gcc_float64x)
IREP_ID_ONE(gcc_float80)
IREP_ID_ONE(gcc_float128)
IREP_ID_ONE(gcc_float128x)
IREP_ID_ONE(gcc_int128)
IREP_ID_ONE(gcc_decimal32)
IREP_ID_ONE(gcc_decimal64)
IREP_ID_ONE(gcc_decimal128)
IREP_ID_ONE(builtin_offsetof)
IREP_ID_ONE(0)
IREP_ID_ONE(1)
IREP_ID_ONE(sizeof)
IREP_ID_ONE(type_arg)
IREP_ID_ONE(expr_arg)
IREP_ID_ONE(expression_list)
IREP_ID_ONE(initializer_list)
IREP_ID_ONE(gcc_conditional_expression)
IREP_ID_ONE(gcc_local_label)
IREP_ID_ONE(gcc)
IREP_ID_ONE(msc)
IREP_ID_ONE(typeof)
IREP_ID_ONE(ellipsis)
IREP_ID_ONE(flavor)
IREP_ID_TWO(ge, >=)
IREP_ID_TWO(le, <=)
IREP_ID_TWO(gt, >)
IREP_ID_TWO(lt, <)
IREP_ID_TWO(plus, +)
IREP_ID_TWO(minus, -)
IREP_ID_TWO(unary_minus, unary-)
IREP_ID_TWO(unary_plus, unary+)
IREP_ID_TWO(mult, *)
IREP_ID_TWO(div, /)
IREP_ID_TWO(power, **)
IREP_ID_ONE(factorial_power)
IREP_ID_ONE(pretty_name)
IREP_ID_TWO(C_class, #class)
IREP_ID_TWO(C_interface, #interface)
IREP_ID_ONE(event)
IREP_ID_ONE(designated_initializer)
IREP_ID_ONE(designator)
IREP_ID_ONE(member_designator)
IREP_ID_ONE(index_designator)
IREP_ID_TWO(C_constant, #constant)
IREP_ID_TWO(C_volatile, #volatile)
IREP_ID_TWO(C_restricted, #restricted)
IREP_ID_TWO(C_identifier, #identifier)
IREP_ID_TWO(C_implicit, #implicit)
IREP_ID_TWO(C_ptr32, #ptr32)
IREP_ID_TWO(C_ptr64, #ptr64)
IREP_ID_TWO(C_atomic, #atomic)
IREP_ID_ONE(restrict)
IREP_ID_ONE(byte_extract_big_endian)
IREP_ID_ONE(byte_extract_little_endian)
IREP_ID_ONE(byte_update_big_endian)
IREP_ID_ONE(byte_update_little_endian)
IREP_ID_ONE(replication)
IREP_ID_ONE(init)
IREP_ID_ONE(cprover_atomic)
IREP_ID_ONE(atomic)
IREP_ID_ONE(atomic_type_specifier)
IREP_ID_ONE(atomic_begin)
IREP_ID_ONE(atomic_end)
IREP_ID_ONE(start_thread)
IREP_ID_ONE(end_thread)
IREP_ID_ONE(coverage_criterion)
IREP_ID_ONE(initializer)
IREP_ID_ONE(anonymous)
IREP_ID_TWO(C_is_anonymous, #is_anonymous)
IREP_ID_ONE(is_enum_constant)
IREP_ID_ONE(is_inline)
IREP_ID_ONE(is_extern)
IREP_ID_ONE(is_global)
IREP_ID_ONE(is_thread_local)
IREP_ID_ONE(is_parameter)
IREP_ID_ONE(is_member)
IREP_ID_ONE(is_type)
IREP_ID_ONE(is_register)
IREP_ID_ONE(is_typedef)
IREP_ID_ONE(is_static)
IREP_ID_ONE(is_template)
IREP_ID_ONE(is_static_assert)
IREP_ID_ONE(is_virtual)
IREP_ID_TWO(C_is_virtual, #is_virtual)
IREP_ID_ONE(literal)
IREP_ID_ONE(member_initializers)
IREP_ID_ONE(member_initializer)
IREP_ID_ONE(method_qualifier)
IREP_ID_ONE(methods)
IREP_ID_ONE(constructor)
IREP_ID_ONE(destructor)
IREP_ID_ONE(bases)
IREP_ID_ONE(base)
IREP_ID_ONE(from_base)
IREP_ID_ONE(operator)
IREP_ID_ONE(template)
IREP_ID_ONE(template_class_instance)
IREP_ID_ONE(template_function_instance)
IREP_ID_ONE(template_type)
IREP_ID_ONE(template_args)
IREP_ID_ONE(template_parameter)
IREP_ID_ONE(template_parameters)
IREP_ID_TWO(C_template, #template)
IREP_ID_TWO(C_template_arguments, #template_arguments)
IREP_ID_ONE(typename)
IREP_ID_ONE(C)
IREP_ID_ONE(cpp)
IREP_ID_ONE(java)
IREP_ID_ONE(decl_block)
IREP_ID_ONE(decl_type)
IREP_ID_ONE(parameters)
IREP_ID_ONE(wchar_t)
IREP_ID_ONE(char16_t)
IREP_ID_ONE(char32_t)
IREP_ID_ONE(size_t)
IREP_ID_ONE(ssize_t)
IREP_ID_ONE(mode)
IREP_ID_ONE(this)
IREP_ID_TWO(C_this, #this)
IREP_ID_ONE(reduction_and)
IREP_ID_ONE(reduction_or)
IREP_ID_ONE(reduction_nand)
IREP_ID_ONE(reduction_nor)
IREP_ID_ONE(reduction_xor)
IREP_ID_ONE(reduction_xnor)
IREP_ID_TWO(C_zero_initializer, #zero_initializer)
IREP_ID_ONE(body)
IREP_ID_ONE(temporary_object)
IREP_ID_TWO(overflow_plus, overflow-+)
IREP_ID_TWO(overflow_minus, overflow--)
IREP_ID_TWO(overflow_mult, overflow-*)
IREP_ID_TWO(overflow_unary_minus, overflow-unary-)
IREP_ID_ONE(object_descriptor)
IREP_ID_ONE(dynamic_object)
IREP_ID_ONE(object_size)
IREP_ID_ONE(good_pointer)
IREP_ID_ONE(integer_address)
IREP_ID_ONE(integer_address_object)
IREP_ID_TWO(null_object, NULL-object)
IREP_ID_ONE(static_object)
IREP_ID_ONE(stack_object)
IREP_ID_TWO(C_is_failed_symbol, #is_failed_symbol)
IREP_ID_TWO(C_failed_symbol, #failed_symbol)
IREP_ID_ONE(set)
IREP_ID_ONE(friend)
IREP_ID_ONE(explicit)
IREP_ID_ONE(storage_spec)
IREP_ID_ONE(member_spec)
IREP_ID_ONE(msc_declspec)
IREP_ID_ONE(packed)
IREP_ID_TWO(C_packed, #packed)
IREP_ID_ONE(transparent_union)
IREP_ID_TWO(C_transparent_union, #transparent_union)
IREP_ID_ONE(aligned)
IREP_ID_TWO(C_alignment, #alignment)
IREP_ID_ONE(vector)
IREP_ID_ONE(abstract)
IREP_ID_ONE(function_application)
IREP_ID_ONE(cpp_declarator)
IREP_ID_ONE(cpp_linkage_spec)
IREP_ID_ONE(cpp_namespace_spec)
IREP_ID_ONE(cpp_storage_spec)
IREP_ID_ONE(cpp_using)
IREP_ID_ONE(cpp_declaration)
IREP_ID_ONE(cpp_static_assert)
IREP_ID_ONE(cpp_member_spec)
IREP_ID_TWO(C_c_type, #c_type)
IREP_ID_ONE(namespace)
IREP_ID_ONE(linkage)
IREP_ID_ONE(decltype)
IREP_ID_TWO(C_tag_only_declaration, #tag_only_declaration)
IREP_ID_ONE(struct_tag)
IREP_ID_ONE(union_tag)
IREP_ID_ONE(c_enum_tag)
IREP_ID_ONE(verilog_case_equality)
IREP_ID_ONE(verilog_case_inequality)
IREP_ID_ONE(user_specified_predicate)
IREP_ID_ONE(user_specified_parameter_predicates)
IREP_ID_ONE(user_specified_return_predicates)
IREP_ID_ONE(unassigned)
IREP_ID_ONE(new_object)
IREP_ID_ONE(complex_real)
IREP_ID_ONE(complex_imag)
IREP_ID_ONE(imag)
IREP_ID_ONE(msc_try_except)
IREP_ID_ONE(msc_try_finally)
IREP_ID_ONE(msc_leave)
IREP_ID_ONE(msc_uuidof)
IREP_ID_ONE(msc_if_exists)
IREP_ID_ONE(msc_if_not_exists)
IREP_ID_ONE(msc_underlying_type)
IREP_ID_ONE(msc_based)
IREP_ID_ONE(alias)
IREP_ID_ONE(ptr_object)
IREP_ID_TWO(C_c_sizeof_type, #c_sizeof_type)
IREP_ID_ONE(array_update)
IREP_ID_ONE(update)
IREP_ID_ONE(float_debug1)
IREP_ID_ONE(float_debug2)
IREP_ID_ONE(static_assert)
IREP_ID_ONE(gcc_attribute_mode)
IREP_ID_TWO(built_in, <built-in>)
IREP_ID_ONE(exception_list)
IREP_ID_ONE(exception_id)
IREP_ID_ONE(predicate_passive_symbol)
IREP_ID_ONE(cw_va_arg_typeof)
IREP_ID_ONE(fence)
IREP_ID_ONE(sync)
IREP_ID_ONE(lwsync)
IREP_ID_ONE(isync)
IREP_ID_ONE(WRfence)
IREP_ID_ONE(RRfence)
IREP_ID_ONE(RWfence)
IREP_ID_ONE(WWfence)
IREP_ID_ONE(RRcumul)
IREP_ID_ONE(RWcumul)
IREP_ID_ONE(WWcumul)
IREP_ID_ONE(WRcumul)
IREP_ID_ONE(generic_selection)
IREP_ID_ONE(generic_associations)
IREP_ID_ONE(generic_association)
IREP_ID_ONE(floatbv_plus)
IREP_ID_ONE(floatbv_minus)
IREP_ID_ONE(floatbv_mult)
IREP_ID_ONE(floatbv_div)
IREP_ID_ONE(floatbv_rem)
IREP_ID_ONE(floatbv_typecast)
IREP_ID_ONE(compound_literal)
IREP_ID_ONE(custom_bv)
IREP_ID_ONE(custom_unsignedbv)
IREP_ID_ONE(custom_signedbv)
IREP_ID_ONE(custom_fixedbv)
IREP_ID_ONE(custom_floatbv)
IREP_ID_TWO(C_SSA_symbol, #SSA_symbol)
IREP_ID_ONE(L0)
IREP_ID_ONE(L1)
IREP_ID_ONE(L2)
IREP_ID_ONE(L1_object_identifier)
IREP_ID_ONE(already_typechecked)
IREP_ID_TWO(C_va_arg_type, #va_arg_type)
IREP_ID_ONE(smt2_symbol)
IREP_ID_ONE(onehot)
IREP_ID_ONE(onehot0)
IREP_ID_ONE(popcount)
IREP_ID_ONE(function_type)
IREP_ID_ONE(noreturn)
IREP_ID_TWO(C_noreturn, #noreturn)
IREP_ID_ONE(weak)
IREP_ID_ONE(is_weak)
IREP_ID_TWO(C_spec_loop_invariant, #spec_loop_invariant)
IREP_ID_TWO(C_spec_requires, #spec_requires)
IREP_ID_TWO(C_spec_ensures, #spec_ensures)
IREP_ID_ONE(virtual_function)
IREP_ID_TWO(C_element_type, #element_type)
IREP_ID_ONE(working_directory)
IREP_ID_ONE(section)
IREP_ID_ONE(bswap)
IREP_ID_ONE(java_bytecode_index)
IREP_ID_ONE(java_instanceof)
IREP_ID_ONE(java_super_method_call)
IREP_ID_ONE(java_enum_static_unwind)
IREP_ID_ONE(push_catch)
IREP_ID_ONE(pop_catch)
IREP_ID_ONE(exception_landingpad)
IREP_ID_ONE(length_upper_bound)
IREP_ID_ONE(string_constraint)
IREP_ID_ONE(string_not_contains_constraint)
IREP_ID_ONE(cprover_associate_array_to_pointer_func)
IREP_ID_ONE(cprover_associate_length_to_array_func)
IREP_ID_ONE(cprover_char_literal_func)
IREP_ID_ONE(cprover_string_literal_func)
IREP_ID_ONE(cprover_string_char_at_func)
IREP_ID_ONE(cprover_string_char_set_func)
IREP_ID_ONE(cprover_string_code_point_at_func)
IREP_ID_ONE(cprover_string_code_point_before_func)
IREP_ID_ONE(cprover_string_code_point_count_func)
IREP_ID_ONE(cprover_string_offset_by_code_point_func)
IREP_ID_ONE(cprover_string_compare_to_func)
IREP_ID_ONE(cprover_string_concat_func)
IREP_ID_ONE(cprover_string_concat_int_func)
IREP_ID_ONE(cprover_string_concat_long_func)
IREP_ID_ONE(cprover_string_concat_char_func)
IREP_ID_ONE(cprover_string_concat_bool_func)
IREP_ID_ONE(cprover_string_concat_double_func)
IREP_ID_ONE(cprover_string_concat_float_func)
IREP_ID_ONE(cprover_string_concat_code_point_func)
IREP_ID_ONE(cprover_string_constrain_characters_func)
IREP_ID_ONE(cprover_string_contains_func)
IREP_ID_ONE(cprover_string_copy_func)
IREP_ID_ONE(cprover_string_delete_func)
IREP_ID_ONE(cprover_string_delete_char_at_func)
IREP_ID_ONE(cprover_string_equal_func)
IREP_ID_ONE(cprover_string_equals_ignore_case_func)
IREP_ID_ONE(cprover_string_empty_string_func)
IREP_ID_ONE(cprover_string_endswith_func)
IREP_ID_ONE(cprover_string_format_func)
IREP_ID_ONE(cprover_string_hash_code_func)
IREP_ID_ONE(cprover_string_index_of_func)
IREP_ID_ONE(cprover_string_intern_func)
IREP_ID_ONE(cprover_string_insert_func)
IREP_ID_ONE(cprover_string_insert_int_func)
IREP_ID_ONE(cprover_string_insert_long_func)
IREP_ID_ONE(cprover_string_insert_bool_func)
IREP_ID_ONE(cprover_string_insert_char_func)
IREP_ID_ONE(cprover_string_insert_float_func)
IREP_ID_ONE(cprover_string_insert_double_func)
IREP_ID_ONE(cprover_string_is_prefix_func)
IREP_ID_ONE(cprover_string_is_suffix_func)
IREP_ID_ONE(cprover_string_is_empty_func)
IREP_ID_ONE(cprover_string_last_index_of_func)
IREP_ID_ONE(cprover_string_length_func)
IREP_ID_ONE(cprover_string_of_int_func)
IREP_ID_ONE(cprover_string_of_int_hex_func)
IREP_ID_ONE(cprover_string_of_long_func)
IREP_ID_ONE(cprover_string_of_bool_func)
IREP_ID_ONE(cprover_string_of_float_func)
IREP_ID_ONE(cprover_string_of_float_scientific_notation_func)
IREP_ID_ONE(cprover_string_of_double_func)
IREP_ID_ONE(cprover_string_of_char_func)
IREP_ID_ONE(cprover_string_parse_int_func)
IREP_ID_ONE(cprover_string_replace_func)
IREP_ID_ONE(cprover_string_set_length_func)
IREP_ID_ONE(cprover_string_startswith_func)
IREP_ID_ONE(cprover_string_substring_func)
IREP_ID_ONE(cprover_string_to_lower_case_func)
IREP_ID_ONE(cprover_string_to_upper_case_func)
IREP_ID_ONE(cprover_string_trim_func)
IREP_ID_ONE(skip_initialize)
IREP_ID_ONE(basic_block_covered_lines)
IREP_ID_ONE(is_nondet_nullable)
IREP_ID_ONE(array_replace)
IREP_ID_ONE(switch_case_number)
IREP_ID_ONE(java_array_access)
IREP_ID_ONE(java_member_access)
IREP_ID_ONE(integer_dereference)
IREP_ID_TWO(C_java_generic_parameter, #java_generic_parameter)
IREP_ID_TWO(C_java_generic_type, #java_generic_type)
IREP_ID_TWO(C_java_generics_class_type, #java_generics_class_type)
IREP_ID_TWO(C_java_implicitly_generic_class_type, #java_implicitly_generic_class_type)
IREP_ID_TWO(C_java_generic_symbol, #java_generic_symbol)
IREP_ID_TWO(generic_types, #generic_types)
IREP_ID_TWO(implicit_generic_types, #implicit_generic_types)
IREP_ID_TWO(type_variables, #type_variables)
IREP_ID_TWO(java_lambda_method_handle_index, lambda_method_handle_index)
IREP_ID_TWO(java_lambda_method_handles, lambda_method_handles)
IREP_ID_ONE(havoc_object)
IREP_ID_TWO(overflow_shl, overflow-shl)
IREP_ID_TWO(C_no_initialization_required, #no_initialization_required)
IREP_ID_TWO(overlay_class, java::com.diffblue.OverlayClassImplementation)
IREP_ID_TWO(overlay_method, java::com.diffblue.OverlayMethodImplementation)
IREP_ID_TWO(C_annotations, #annotations)
IREP_ID_ONE(final)

// Projects depending on this code base that wish to extend the list of
// available ids should provide a file local_irep_ids.h in their source tree and
// add -D'LOCAL_IREP_IDS=<project/local_irep_ids.h>' to their compiler command
// line.
#ifdef LOCAL_IREP_IDS
#include LOCAL_IREP_IDS
#endif

#undef IREP_ID_ONE
#undef IREP_ID_TWO