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

This is the complete list of members for clang_c_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_code(codet &code)clang_c_adjustprotectedvirtual
adjust_comma(exprt &expr)clang_c_adjustprotected
adjust_decl(codet &code)clang_c_adjustprotected
adjust_decl_block(codet &code)clang_c_adjustprotectedvirtual
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)clang_c_adjustprotectedvirtual
adjust_function_call_arguments(side_effect_expr_function_callt &expr)clang_c_adjustprotectedvirtual
adjust_if(exprt &expr)clang_c_adjustprotected
adjust_ifthenelse(codet &code)clang_c_adjustprotectedvirtual
adjust_index(index_exprt &index)clang_c_adjustprotected
adjust_member(member_exprt &expr)clang_c_adjustprotectedvirtual
adjust_operands(exprt &expr)clang_c_adjustprotected
adjust_ptr_mem(exprt &expr)clang_c_adjustprotected
adjust_reference(exprt &expr)clang_c_adjustprotectedvirtual
adjust_side_effect(side_effect_exprt &expr)clang_c_adjustprotectedvirtual
adjust_side_effect_assignment(exprt &expr)clang_c_adjustprotected
adjust_side_effect_function_call(side_effect_expr_function_callt &expr)clang_c_adjustprotectedvirtual
adjust_side_effect_statement_expression(side_effect_exprt &expr)clang_c_adjustprotected
adjust_sizeof(exprt &expr)clang_c_adjustprotected
adjust_struct(exprt &expr)clang_c_adjustprotected
adjust_switch(codet &code)clang_c_adjustprotectedvirtual
adjust_symbol(symbolt &symbol)clang_c_adjustprotectedvirtual
adjust_symbol(exprt &expr)clang_c_adjustprotected
adjust_type(typet &type)clang_c_adjustprotected
adjust_while(codet &code)clang_c_adjustprotectedvirtual
align_se_function_call_return_type(exprt &f_op, side_effect_expr_function_callt &expr)clang_c_adjustprotectedvirtual
bind_sideeffect_operands(exprt &expr, code_blockt &block)clang_c_adjustprotected
clang_c_adjust(contextt &_context)clang_c_adjustexplicit
contextclang_c_adjustprotected
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
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