cprover
rewrite_index.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Pointer Dereferencing
4
5
Author: 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
15
class
dereference_exprt
;
16
class
index_exprt
;
17
18
// rewrite a[i] to *(a+i)
19
20
dereference_exprt
rewrite_index
(
const
index_exprt
&index_expr);
21
22
#endif // CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H
dereference_exprt
Operator to dereference a pointer.
Definition:
std_expr.h:2888
rewrite_index
dereference_exprt rewrite_index(const index_exprt &index_expr)
rewrite a[i] to *(a+i)
Definition:
rewrite_index.cpp:17
index_exprt
Array index operator.
Definition:
std_expr.h:1293
pointer-analysis
rewrite_index.h
Generated by
1.8.20