12 #ifndef CPROVER_UTIL_POINTER_OFFSET_SIZE_H 13 #define CPROVER_UTIL_POINTER_OFFSET_SIZE_H 30 typedef std::pair<size_t, mp_integer>
refst;
82 const typet &target_type,
88 const typet &target_type,
91 #endif // CPROVER_UTIL_POINTER_OFFSET_SIZE_H mp_integer pointer_offset_bits(const typet &type, const namespacet &ns)
The type of an expression.
exprt build_sizeof_expr(const constant_exprt &expr, const namespacet &ns)
const struct_typet & type
member_offset_iterator(const struct_typet &_type, const namespacet &_ns)
const refst * operator->() const
bool get_subexpression_at_offset(exprt &result, mp_integer offset, const typet &target_type, const namespacet &ns)
A constant literal expression.
Extract member of struct or union.
exprt size_of_expr(const typet &type, const namespacet &ns)
mp_integer pointer_offset_size(const typet &type, const namespacet &ns)
mp_integer member_offset(const struct_typet &type, const irep_idt &member, const namespacet &ns)
mp_integer compute_pointer_offset(const exprt &expr, const namespacet &ns)
Base class for all expressions.
member_offset_iterator & operator++()
exprt member_offset_expr(const member_exprt &, const namespacet &ns)
std::pair< size_t, mp_integer > refst
const refst & operator*() const