Operator to dereference a pointer.
The plus expression Associativity is not specified.
typet & type()
Return the type of the expression.
API to expression classes for Pointers.
dereference_exprt rewrite_index(const index_exprt &index_expr)
rewrite a[i] to *(a+i)
source_locationt & add_source_location()
API to expression classes.
const source_locationt & source_location() const