cprover
|
Pointer Analysis. More...
#include "pointer_offset_sum.h"
Go to the source code of this file.
Functions | |
exprt | pointer_offset_sum (const exprt &a, const exprt &b) |
Pointer Analysis.
Definition in file pointer_offset_sum.cpp.
Definition at line 14 of file pointer_offset_sum.cpp.
References exprt::copy_to_operands(), irept::id(), exprt::is_zero(), and exprt::type().