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