cprover
rewrite_index.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Pointer Dereferencing
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H
13#define CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H
14
16class index_exprt;
17
18// rewrite a[i] to *(a+i)
19
21
22#endif // CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H
Operator to dereference a pointer.
Definition: pointer_expr.h:648
Array index operator.
Definition: std_expr.h:1328
dereference_exprt rewrite_index(const index_exprt &index_expr)
rewrite a[i] to *(a+i)