cprover
|
Go to the source code of this file.
Functions | |
exprt | cpp_symbol_expr (const symbolt &symbol) |
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().