cprover
|
Go to the source code of this file.
Classes | |
class | c_sizeoft |
Functions | |
exprt | c_sizeof (const typet &src, const namespacet &ns) |
exprt | c_offsetof (const struct_typet &src, const irep_idt &component_name, const namespacet &ns) |
exprt c_offsetof | ( | const struct_typet & | src, |
const irep_idt & | component_name, | ||
const namespacet & | ns | ||
) |
Definition at line 311 of file c_sizeof.cpp.
References c_sizeoft::c_offsetof(), and simplify().
Referenced by c_typecheck_baset::typecheck_expr_builtin_offsetof().
exprt c_sizeof | ( | const typet & | src, |
const namespacet & | ns | ||
) |
Definition at line 303 of file c_sizeof.cpp.
References simplify().
Referenced by c_typecheck_baset::typecheck_expr_builtin_offsetof(), cpp_typecheckt::typecheck_expr_new(), c_typecheck_baset::typecheck_expr_sizeof(), c_typecheck_baset::typecheck_vector_type(), and cpp_typecheckt::zero_initializer().