rewrite_index.h File Reference

#include <util/deprecate.h>

Include dependency graph for rewrite_index.h:

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)

Deprecated:

"deprecated since " "2022" "-" "07" "-" "23" "; " "implement the transform directly"

Definition at line 18 of file rewrite_index.cpp.