cprover
rewrite_index.h File Reference

Pointer Dereferencing. More...

+ This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description

Pointer Dereferencing.

Definition in file rewrite_index.h.

Function Documentation

◆ rewrite_index()

dereference_exprt rewrite_index ( const index_exprt index_expr)

rewrite a[i] to *(a+i)

Definition at line 17 of file rewrite_index.cpp.