diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-08-02 05:15:23 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-08-02 05:15:23 +0000 |
commit | df74e25bf0d82339a28e8a4c5e9413584771363b (patch) | |
tree | d7e6fd2e4652f376e12c0825670d220afd5f295d /include/clang | |
parent | 093569cfab473e7b461523136a4df30a0473324d (diff) |
Remove RegionViews and RegionCasts. These are no longer used.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@77876 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang')
-rw-r--r-- | include/clang/Analysis/PathSensitive/Store.h | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/include/clang/Analysis/PathSensitive/Store.h b/include/clang/Analysis/PathSensitive/Store.h index 2d79a19b44..fcc5e54cf7 100644 --- a/include/clang/Analysis/PathSensitive/Store.h +++ b/include/clang/Analysis/PathSensitive/Store.h @@ -43,13 +43,6 @@ protected: StoreManager(GRStateManager &stateMgr); -protected: - virtual const GRState *AddRegionView(const GRState *state, - const MemRegion *view, - const MemRegion *base) { - return state; - } - public: virtual ~StoreManager() {} @@ -134,16 +127,7 @@ public: /// a MemRegion* to a specific location type. 'R' is the region being /// casted and 'CastToTy' the result type of the cast. CastResult CastRegion(const GRState *state, const MemRegion *region, - QualType CastToTy); - - virtual const GRState *setCastType(const GRState *state, const MemRegion* R, - QualType T) { - return state; - } - - virtual const QualType *getCastType(const GRState *state, const MemRegion *R){ - return 0; - } + QualType CastToTy); /// EvalBinOp - Perform pointer arithmetic. virtual SVal EvalBinOp(const GRState *state, BinaryOperator::Opcode Op, |