cprover
|
Conversion of sizeof Expressions. More...
#include "c_sizeof.h"
#include <util/config.h>
#include <util/arith_tools.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include <util/c_types.h>
#include "c_typecast.h"
Go to the source code of this file.
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) |
Conversion of sizeof Expressions.
Definition in file c_sizeof.cpp.
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().