c_sizeof.cpp File Reference

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"

Include dependency graph for c_sizeof.cpp:

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)

Detailed Description

Conversion of sizeof Expressions.

Definition in file c_sizeof.cpp.

Function Documentation

c_offsetof()

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().

c_sizeof()

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().