c_sizeof.h File Reference

#include <util/namespace.h>
#include <util/expr.h>

Include dependency graph for c_sizeof.h:

This graph shows which files directly or indirectly include this file:

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)

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