cprover
|
Go to the source code of this file.
Functions | |
exprt | cpp_symbol_expr (const symbolt &symbol) |
void | already_typechecked (irept &irep) |
|
inline |
Definition at line 18 of file cpp_util.h.
References exprt::copy_to_operands(), and irept::swap().
Referenced by cpp_typecheckt::convert_initializer(), cpp_typecheckt::default_cpctor(), cpp_typecheckt::dtor(), cpp_typecheckt::full_member_initialization(), cpp_typecheckt::new_temporary(), cpp_typecheckt::typecheck_decl(), cpp_typecheckt::typecheck_expr_delete(), cpp_typecheckt::typecheck_member_initializer(), cpp_typecheckt::typecheck_side_effect_assignment(), cpp_typecheckt::typecheck_side_effect_inc_dec(), and cpp_typecheckt::zero_initializer().
Definition at line 14 of file cpp_util.cpp.
References symbolt::is_lvalue, symbolt::name, irept::set(), and symbolt::type.
Referenced by cpp_typecheck_resolvet::apply_template_args(), cpp_typecheckt::convert_anonymous_union(), cpp_typecheck_resolvet::convert_identifier(), cpp_typecheckt::convert_non_template_declaration(), cpp_typecheck_resolvet::make_constructors(), cpp_typecheckt::static_and_dynamic_initialization(), cpp_typecheckt::typecheck_decl(), cpp_typecheckt::typecheck_expr_address_of(), cpp_typecheckt::typecheck_friend_declaration(), cpp_typecheckt::typecheck_method_application(), and cpp_typecheckt::user_defined_conversion_sequence().