cprover
|
C Language Type Checking. More...
Go to the source code of this file.
Functions | |
exprt | get_component_rec (const exprt &struct_union, const irep_idt &component_name, const namespacet &ns) |
bool | has_component_rec (const typet &struct_union_type, const irep_idt &component_name, const namespacet &ns) |
C Language Type Checking.
Definition in file anonymous_member.h.
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 & | struct_union_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().