#include "pointer_offset_size.h"
#include "arith_tools.h"
#include "byte_operators.h"
#include "c_types.h"
#include "invariant.h"
#include "namespace.h"
#include "pointer_expr.h"
#include "simplify_expr.h"
#include "ssa_expr.h"
#include "std_expr.h"

Include dependency graph for pointer_offset_size.cpp:

Functions
optionalt< mp_integer >	member_offset (const struct_typet &type, const irep_idt &member, const namespacet &ns)

optionalt< mp_integer >	member_offset_bits (const struct_typet &type, const irep_idt &member, const namespacet &ns)

optionalt< mp_integer >	pointer_offset_size (const typet &type, const namespacet &ns)
	Compute the size of a type in bytes, rounding up to full bytes. More...

optionalt< mp_integer >	pointer_offset_bits (const typet &type, const namespacet &ns)

optionalt< exprt >	member_offset_expr (const member_exprt &member_expr, const namespacet &ns)

optionalt< exprt >	member_offset_expr (const struct_typet &type, const irep_idt &member, const namespacet &ns)

optionalt< exprt >	size_of_expr (const typet &type, const namespacet &ns)

optionalt< mp_integer >	compute_pointer_offset (const exprt &expr, const namespacet &ns)

optionalt< exprt >	get_subexpression_at_offset (const exprt &expr, const mp_integer &offset_bytes, const typet &target_type_raw, const namespacet &ns)

optionalt< exprt >	get_subexpression_at_offset (const exprt &expr, const exprt &offset, const typet &target_type, const namespacet &ns)

Detailed Description

Pointer Logic

Definition in file pointer_offset_size.cpp.

Function Documentation

◆ compute_pointer_offset()

optionalt<mp_integer> compute_pointer_offset	(	const exprt &	expr,
		const namespacet &	ns
	)

Definition at line 507 of file pointer_offset_size.cpp.

◆ get_subexpression_at_offset() [1/2]

optionalt<exprt> get_subexpression_at_offset	(	const exprt &	expr,
		const exprt &	offset,
		const typet &	target_type,
		const namespacet &	ns
	)

Definition at line 676 of file pointer_offset_size.cpp.

◆ get_subexpression_at_offset() [2/2]

optionalt<exprt> get_subexpression_at_offset	(	const exprt &	expr,
		const mp_integer &	offset_bytes,
		const typet &	target_type_raw,
		const namespacet &	ns
	)

Definition at line 568 of file pointer_offset_size.cpp.

◆ member_offset()

optionalt<mp_integer> member_offset	(	const struct_typet &	type,
		const irep_idt &	member,
		const namespacet &	ns
	)

Definition at line 24 of file pointer_offset_size.cpp.

◆ member_offset_bits()

optionalt<mp_integer> member_offset_bits	(	const struct_typet &	type,
		const irep_idt &	member,
		const namespacet &	ns
	)

Definition at line 65 of file pointer_offset_size.cpp.

◆ member_offset_expr() [1/2]

optionalt<exprt> member_offset_expr	(	const member_exprt &	member_expr,
		const namespacet &	ns
	)

Definition at line 221 of file pointer_offset_size.cpp.

◆ member_offset_expr() [2/2]

optionalt<exprt> member_offset_expr	(	const struct_typet &	type,
		const irep_idt &	member,
		const namespacet &	ns
	)

Definition at line 234 of file pointer_offset_size.cpp.

◆ pointer_offset_bits()

optionalt<mp_integer> pointer_offset_bits	(	const typet &	type,
		const namespacet &	ns
	)

Definition at line 101 of file pointer_offset_size.cpp.

◆ pointer_offset_size()

optionalt<mp_integer> pointer_offset_size	(	const typet &	type,
		const namespacet &	ns
	)

Compute the size of a type in bytes, rounding up to full bytes.

Definition at line 90 of file pointer_offset_size.cpp.

◆ size_of_expr()

optionalt<exprt> size_of_expr	(	const typet &	type,
		const namespacet &	ns
	)

Definition at line 280 of file pointer_offset_size.cpp.

Functions