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.h.
dereference_exprt rewrite_index | ( | const index_exprt & | index_expr | ) |
rewrite a[i] to *(a+i)
Definition at line 17 of file rewrite_index.cpp.