cprover
Loading...
Searching...
No Matches
rewrite_index.cpp File Reference

Pointer Dereferencing. More...

#include "rewrite_index.h"
#include <util/pointer_expr.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)
 

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 18 of file rewrite_index.cpp.