cprover
rewrite_index.cpp File Reference

Pointer Dereferencing. More...

#include "rewrite_index.h"
#include <util/std_expr.h>
+ Include dependency graph for rewrite_index.cpp:

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

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.