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