diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-08-23 01:37:32 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-08-23 01:37:32 +0000 |
| commit | fee32dc7830c6aabf786f7e678ade83d344b1bb8 (patch) | |
| tree | 8939bd524e1f018e609e4733b459b112fd768031 /clang/lib/Checker/RegionStore.cpp | |
| parent | 7a9aac2d9ff5a08c080833aa002b8c3e0f99178c (diff) | |
| download | bcm5719-llvm-fee32dc7830c6aabf786f7e678ade83d344b1bb8.tar.gz bcm5719-llvm-fee32dc7830c6aabf786f7e678ade83d344b1bb8.zip | |
Adjust code placement.
llvm-svn: 111790
Diffstat (limited to 'clang/lib/Checker/RegionStore.cpp')
| -rw-r--r-- | clang/lib/Checker/RegionStore.cpp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/clang/lib/Checker/RegionStore.cpp b/clang/lib/Checker/RegionStore.cpp index 0dca4b2b781..e232e03499e 100644 --- a/clang/lib/Checker/RegionStore.cpp +++ b/clang/lib/Checker/RegionStore.cpp @@ -181,6 +181,14 @@ public: } }; +void +RegionStoreSubRegionMap::process(llvm::SmallVectorImpl<const SubRegion*> &WL, + const SubRegion *R) { + const MemRegion *superR = R->getSuperRegion(); + if (add(superR, R)) + if (const SubRegion *sr = dyn_cast<SubRegion>(superR)) + WL.push_back(sr); +} class RegionStoreManager : public StoreManager { const RegionStoreFeatures Features; @@ -402,14 +410,6 @@ StoreManager *clang::CreateFieldsOnlyRegionStoreManager(GRStateManager &StMgr) { return new RegionStoreManager(StMgr, F); } -void -RegionStoreSubRegionMap::process(llvm::SmallVectorImpl<const SubRegion*> &WL, - const SubRegion *R) { - const MemRegion *superR = R->getSuperRegion(); - if (add(superR, R)) - if (const SubRegion *sr = dyn_cast<SubRegion>(superR)) - WL.push_back(sr); -} RegionStoreSubRegionMap* RegionStoreManager::getRegionStoreSubRegionMap(Store store) { |
