diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-10-09 02:12:00 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-10-09 02:12:00 +0000 |
| commit | bd48370f38528e6bcd6b09d711c4fc292f76f417 (patch) | |
| tree | 26909836c86d9e3caa0ec2351155dcf9a502d7dd /lib/Analysis/RegionStore.cpp | |
| parent | 25bc275c3f2188b2a08cc051f7af6611c8726750 (diff) | |
Remove unused code.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83610 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | lib/Analysis/RegionStore.cpp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 46e1d12a3c..a2f636f890 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -271,8 +271,6 @@ public: /// KillStruct - Set the entire struct to unknown. const GRState *KillStruct(const GRState *state, const TypedRegion* R); - const GRState *setDefaultValue(const GRState *state, const MemRegion* R, SVal V); - Store Remove(Store store, Loc LV); //===------------------------------------------------------------------===// @@ -1566,11 +1564,6 @@ const GRState *RegionStoreManager::KillStruct(const GRState *state, return state->makeWithStore(store); } -const GRState *RegionStoreManager::setDefaultValue(const GRState *state, - const MemRegion* R, SVal V) { - return state->set<RegionDefaultValue>(R, V); -} - const GRState* RegionStoreManager::CopyLazyBindings(nonloc::LazyCompoundVal V, const GRState *state, |