cprover
pointer_offset_size.h File Reference

Pointer Logic. More...

#include "mp_arith.h"
#include "irep.h"
Include dependency graph for pointer_offset_size.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  member_offset_iterator
 

Functions

mp_integer member_offset (const struct_typet &type, const irep_idt &member, const namespacet &ns)
 
mp_integer pointer_offset_size (const typet &type, const namespacet &ns)
 
mp_integer pointer_offset_bits (const typet &type, const namespacet &ns)
 
mp_integer compute_pointer_offset (const exprt &expr, const namespacet &ns)
 
exprt member_offset_expr (const member_exprt &, const namespacet &ns)
 
exprt member_offset_expr (const struct_typet &type, const irep_idt &member, const namespacet &ns)
 
exprt size_of_expr (const typet &type, const namespacet &ns)
 
exprt build_sizeof_expr (const constant_exprt &expr, const namespacet &ns)
 
bool get_subexpression_at_offset (exprt &result, mp_integer offset, const typet &target_type, const namespacet &ns)
 
bool get_subexpression_at_offset (exprt &result, const exprt &offset, const typet &target_type, const namespacet &ns)
 

Detailed Description

Pointer Logic.

Definition in file pointer_offset_size.h.

Function Documentation

§ build_sizeof_expr()

§ compute_pointer_offset()

§ get_subexpression_at_offset() [1/2]

§ get_subexpression_at_offset() [2/2]

bool get_subexpression_at_offset ( exprt result,
const exprt offset,
const typet target_type,
const namespacet ns 
)

Definition at line 634 of file pointer_offset_size.cpp.

References get_subexpression_at_offset(), and to_integer().

§ member_offset()

§ member_offset_expr() [1/2]

§ member_offset_expr() [2/2]

§ pointer_offset_bits()

mp_integer pointer_offset_bits ( const typet type,
const namespacet ns 
)

§ pointer_offset_size()

§ size_of_expr()