diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-02-05 06:57:29 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-02-05 06:57:29 +0000 |
| commit | 026c66395b88a09437319139a43b090093f7e1dd (patch) | |
| tree | 7955f6fdf8c03de8d27a80ed0adf8d2e898e3e84 /lib/Analysis/RegionStore.cpp | |
| parent | cf70177a9cf6c35b27e73cf58f82dd4d6b0fa354 (diff) | |
Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so
do the symblic regions associated with them and we need them to be typed.
Current SymbolicRegion::getRValueType() method is very restricting. It may be
modified when we are more clear about what could be the types of symblic
regions.
BasicConstraintManager::Assume() is changed due to that now SymblicRegion is a
subclass of SubRegion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63844 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | lib/Analysis/RegionStore.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 8d36d10a8a..e640087acb 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -312,7 +312,8 @@ SVal RegionStoreManager::getLValueField(const GRState* St, SVal Base, break; case loc::SymbolValKind: - BaseR = MRMgr.getSymbolicRegion(cast<loc::SymbolVal>(&BaseL)->getSymbol()); + BaseR = MRMgr.getSymbolicRegion(cast<loc::SymbolVal>(&BaseL)->getSymbol(), + StateMgr.getSymbolManager()); break; case loc::GotoLabelKind: @@ -701,7 +702,8 @@ Store RegionStoreManager::Remove(Store store, Loc L) { if (isa<loc::MemRegionVal>(L)) R = cast<loc::MemRegionVal>(L).getRegion(); else if (isa<loc::SymbolVal>(L)) - R = MRMgr.getSymbolicRegion(cast<loc::SymbolVal>(L).getSymbol()); + R = MRMgr.getSymbolicRegion(cast<loc::SymbolVal>(L).getSymbol(), + StateMgr.getSymbolManager()); if (R) { RegionBindingsTy B = GetRegionBindings(store); |