ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_cpp_adjust Member List

This is the complete list of members for clang_cpp_adjust, including all inherited members.

adjust()clang_c_adjust
adjust_address_of(exprt &expr)clang_c_adjustprotected
adjust_assign(codet &code)clang_c_adjustprotected
adjust_base_to_derived(exprt &expr)clang_c_adjustprotected
adjust_builtin_va_arg(exprt &expr)clang_c_adjustprotected
adjust_call_argument(exprt &arg)clang_c_adjustprotected
adjust_catch(codet &code)clang_cpp_adjust
adjust_code(codet &code) overrideclang_cpp_adjustvirtual
adjust_comma(exprt &expr)clang_c_adjustprotected
adjust_cpp_delete(side_effect_exprt &expr)clang_cpp_adjust
adjust_cpp_member(member_exprt &expr)clang_cpp_adjust
adjust_cpp_pseudo_destructor_call(exprt &expr)clang_cpp_adjust
adjust_decl(codet &code)clang_c_adjustprotected
adjust_decl_block(codet &code) overrideclang_cpp_adjustvirtual
adjust_dereference(exprt &deref)clang_c_adjustprotected
adjust_derived_to_base(exprt &expr, const irep_idt &base_id)clang_c_adjustprotected
adjust_expr(exprt &expr)clang_c_adjustprotected
adjust_expr_binary_arithmetic(exprt &expr)clang_c_adjustprotected
adjust_expr_binary_boolean(exprt &expr)clang_c_adjustprotected
adjust_expr_rel(exprt &expr)clang_c_adjustprotectedvirtual
adjust_expr_shifts(exprt &expr)clang_c_adjustprotected
adjust_expr_unary_boolean(exprt &expr)clang_c_adjustprotected
adjust_expr_unary_complex(exprt &expr)clang_c_adjustprotected
adjust_float_arith(exprt &expr)clang_c_adjustprotected
adjust_for(codet &code) overrideclang_cpp_adjustvirtual
adjust_function_call_arguments(side_effect_expr_function_callt &expr) overrideclang_cpp_adjustvirtual
adjust_if(exprt &expr)clang_c_adjustprotected
adjust_ifthenelse(codet &code) overrideclang_cpp_adjustvirtual
adjust_index(index_exprt &index)clang_c_adjustprotected
adjust_member(member_exprt &expr) overrideclang_cpp_adjustvirtual
adjust_new(exprt &expr)clang_cpp_adjust
adjust_operands(exprt &expr)clang_c_adjustprotected
adjust_ptr_mem(exprt &expr)clang_c_adjustprotected
adjust_reference(exprt &expr) overrideclang_cpp_adjustvirtual
adjust_side_effect(side_effect_exprt &expr) overrideclang_cpp_adjustvirtual
adjust_side_effect_assign(side_effect_exprt &expr)clang_cpp_adjust
adjust_side_effect_assignment(exprt &expr)clang_c_adjustprotected
adjust_side_effect_function_call(side_effect_expr_function_callt &expr) overrideclang_cpp_adjustvirtual
adjust_side_effect_statement_expression(side_effect_exprt &expr)clang_c_adjustprotected
adjust_side_effect_throw(side_effect_exprt &expr)clang_cpp_adjust
adjust_sizeof(exprt &expr)clang_c_adjustprotected
adjust_struct(exprt &expr)clang_c_adjustprotected
adjust_switch(codet &code) overrideclang_cpp_adjustvirtual
adjust_switch_case_ops(exprt &stmt, const typet &switch_type)clang_cpp_adjust
adjust_symbol(symbolt &symbol) overrideclang_cpp_adjustvirtual
clang_c_adjust::adjust_symbol(exprt &expr)clang_c_adjustprotected
adjust_type(typet &type)clang_c_adjustprotected
adjust_while(codet &code) overrideclang_cpp_adjustvirtual
align_se_function_call_return_type(exprt &f_op, side_effect_expr_function_callt &expr) overrideclang_cpp_adjustvirtual
bind_sideeffect_operands(exprt &expr, code_blockt &block)clang_c_adjustprotected
clang_c_adjust(contextt &_context)clang_c_adjustexplicit
clang_cpp_adjust(contextt &_context)clang_cpp_adjustexplicit
contextclang_c_adjustprotected
convert_exception_id(const typet &type, const std::string &suffix, std::vector< irep_idt > &ids, bool is_catch=false)clang_cpp_adjust
convert_expression_to_code(exprt &expr)clang_cpp_adjust
convert_lvalue_ref_to_deref_sideeffect(exprt &expr)clang_cpp_adjust
convert_ref_to_deref_symbol(exprt &expr)clang_cpp_adjust
convert_reference(exprt &expr)clang_cpp_adjust
declare_gcc_polymorphic_builtin(const symbol_exprt &callee, const exprt::operandst &arguments, const locationt &call_location, contextt &context)clang_c_adjuststatic
do_special_functions(side_effect_expr_function_callt &expr)clang_c_adjustprotected
finish_complex_lowering(exprt &expr, exprt &result, code_blockt &block)clang_c_adjustprotected
gen_implicit_union_copy_move_constructor(symbolt &symbol)clang_cpp_adjust
gen_vptr_init_rhs(const struct_union_typet::componentt &comp, const code_typet &ctor_type)clang_cpp_adjust
has_single_arithmetic_argument(const side_effect_expr_function_callt &expr) constclang_c_adjustprotected
instantiate_gcc_polymorphic_builtin(const irep_idt &identifier, const symbol_exprt &function_symbol, contextt &context)clang_c_adjustprotectedstatic
irep2_owns_armsclang_c_adjustprotected
is_gcc_polymorphic_builtin(const irep_idt &identifier, const exprt::operandst &arguments)clang_c_adjustprotectedstatic
lower_complex_binary_arithmetic(exprt &expr)clang_c_adjustprotected
lower_complex_compound_assignment(exprt &expr)clang_c_adjustprotected
nsclang_c_adjustprotected
set_irep2_owns_arms()clang_c_adjustinline
shadows_user_definition(const irep_idt &identifier, const exprt &f_op) constclang_c_adjustprotected
tmp_symbolclang_c_adjustprotected
~clang_c_adjust()=defaultclang_c_adjustvirtual
~clang_cpp_adjust()=defaultclang_cpp_adjustvirtual