cprover
|
ANSI-C Language Type Checking. More...
Go to the source code of this file.
Functions | |
static exprt | make_member_expr (const exprt &struct_union, const struct_union_typet::componentt &component, const namespacet &ns) |
exprt | get_component_rec (const exprt &struct_union, const irep_idt &component_name, const namespacet &ns) |
bool | has_component_rec (const typet &type, const irep_idt &component_name, const namespacet &ns) |
ANSI-C Language Type Checking.
Definition in file anonymous_member.cpp.
exprt get_component_rec | ( | const exprt & | struct_union, |
const irep_idt & | component_name, | ||
const namespacet & | ns | ||
) |
Definition at line 40 of file anonymous_member.cpp.
References struct_union_typet::components(), namespace_baset::follow(), get_component_rec(), irept::id(), irept::is_not_nil(), make_member_expr(), to_struct_union_type(), and exprt::type().
Referenced by get_component_rec(), and c_typecheck_baset::typecheck_expr_member().
bool has_component_rec | ( | const typet & | type, |
const irep_idt & | component_name, | ||
const namespacet & | ns | ||
) |
Definition at line 72 of file anonymous_member.cpp.
References struct_union_typet::components(), namespace_baset::follow(), has_component_rec(), and to_struct_union_type().
Referenced by cpp_typecheck_resolvet::convert_identifier(), has_component_rec(), c_typecheck_baset::make_designator(), and c_typecheck_baset::typecheck_expr_builtin_offsetof().
|
static |
Definition at line 17 of file anonymous_member.cpp.
References namespace_baset::follow(), irept::get_bool(), struct_union_typet::componentt::get_name(), irept::set(), and exprt::type().
Referenced by get_component_rec().