cprover
Loading...
Searching...
No Matches
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
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:564
dereference_exprt
Operator to dereference a pointer.
Definition
pointer_expr.h:648
index_exprt
Array index operator.
Definition
std_expr.h:1328
rewrite_index
dereference_exprt rewrite_index(const index_exprt &index_expr)
rewrite a[i] to *(a+i)
Definition
rewrite_index.cpp:18
pointer-analysis
rewrite_index.h
Generated by
1.9.8