cprover
|
Pointer Dereferencing. More...
Go to the source code of this file.
Functions | |
dereference_exprt | rewrite_index (const index_exprt &index_expr) |
rewrite a[i] to *(a+i) More... | |
Pointer Dereferencing.
Definition in file rewrite_index.cpp.
dereference_exprt rewrite_index | ( | const index_exprt & | index_expr | ) |
rewrite a[i] to *(a+i)
Definition at line 17 of file rewrite_index.cpp.
References exprt::add_source_location(), index_exprt::array(), index_exprt::index(), dereference_exprt::pointer(), exprt::source_location(), and exprt::type().