diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-29 18:16:25 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-29 18:16:25 +0000 |
| commit | 1004a9f2b9eaf885e55ad8656194ef2a341db0f5 (patch) | |
| tree | 03f7509b0df6a4b6459be7381fda1cae8bd75679 /include/clang | |
| parent | 0e3ec3ff2477e60f0ceda922cc2e3a25a59d81f2 (diff) | |
Make StoreManager::InvalidateRegion() virtual, move the current implementation
in StoreManager to RegionStoreManager, and create a special, highly reduced
version in BasicStoreManager.
These changes are in preparation for future RegionStore-specific changes to
InvalidateRegion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@77483 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/Store.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/include/clang/Analysis/PathSensitive/Store.h b/include/clang/Analysis/PathSensitive/Store.h index 37fc641c2e..c0409d06a1 100644 --- a/include/clang/Analysis/PathSensitive/Store.h +++ b/include/clang/Analysis/PathSensitive/Store.h @@ -170,8 +170,10 @@ public: virtual const GRState *BindDeclWithNoInit(const GRState *state, const VarDecl *vd) = 0; - const GRState *InvalidateRegion(const GRState *state, const MemRegion *R, - const Expr *E, unsigned Count); + virtual const GRState *InvalidateRegion(const GRState *state, + const MemRegion *R, + const Expr *E, unsigned Count) = 0; + // FIXME: Make out-of-line. virtual const GRState *setExtent(const GRState *state, const MemRegion *region, SVal extent) { |