cprover
|
#include <pointer_arithmetic.h>
Public Member Functions | |
pointer_arithmetict (const exprt &src) | |
Public Attributes | |
exprt | pointer |
exprt | offset |
Protected Member Functions | |
void | read (const exprt &src) |
void | add_to_offset (const exprt &src) |
void | make_pointer (const exprt &src) |
Definition at line 15 of file pointer_arithmetic.h.
|
explicit |
Definition at line 14 of file pointer_arithmetic.cpp.
References irept::make_nil(), offset, pointer, and read().
|
protected |
Definition at line 66 of file pointer_arithmetic.cpp.
References exprt::copy_to_operands(), irept::id(), irept::is_nil(), exprt::make_typecast(), offset, exprt::op1(), and exprt::type().
Referenced by make_pointer(), and read().
|
protected |
Definition at line 83 of file pointer_arithmetic.cpp.
References add_to_offset(), irept::is_nil(), and pointer.
Referenced by read().
|
protected |
Definition at line 21 of file pointer_arithmetic.cpp.
References add_to_offset(), forall_operands, from_integer(), irept::id(), index_exprt::index(), exprt::is_zero(), make_pointer(), exprt::op0(), exprt::op1(), exprt::operands(), to_index_expr(), and exprt::type().
Referenced by pointer_arithmetict().
exprt pointer_arithmetict::offset |
Definition at line 17 of file pointer_arithmetic.h.
Referenced by string_abstractiont::abstract_char_assign(), add_to_offset(), and pointer_arithmetict().
exprt pointer_arithmetict::pointer |
Definition at line 17 of file pointer_arithmetic.h.
Referenced by string_abstractiont::abstract_char_assign(), string_abstractiont::build_pointer(), make_pointer(), and pointer_arithmetict().