cprover
|
Pointer Dereferencing. More...
#include <util/expr.h>
Go to the source code of this file.
Functions | |
exprt | pointer_offset_sum (const exprt &a, const exprt &b) |
Pointer Dereferencing.
Definition in file pointer_offset_sum.h.
Definition at line 16 of file pointer_offset_sum.cpp.
References irept::id(), exprt::is_zero(), exprt::make_typecast(), exprt::op1(), and exprt::type().