diff options
Diffstat (limited to 'include/clang/Analysis/PathSensitive/Store.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/Store.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/Store.h b/include/clang/Analysis/PathSensitive/Store.h index 5aa53507fd..1070e11a9b 100644 --- a/include/clang/Analysis/PathSensitive/Store.h +++ b/include/clang/Analysis/PathSensitive/Store.h @@ -157,6 +157,8 @@ public: virtual const GRState *BindDeclWithNoInit(const GRState *state, const VarDecl *vd) = 0; + const GRState *InvalidateRegion(const GRState *state, const TypedRegion *R, + const Expr *E, unsigned Count); // FIXME: Make out-of-line. virtual const GRState *setExtent(const GRState *state, const MemRegion *region, SVal extent) { |