diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-08-21 22:28:32 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-08-21 22:28:32 +0000 |
commit | d17da2b99f323fa91b01e1dd119cc32e0ee8197d (patch) | |
tree | 06690e740fc541b44470d4c4e6a0054ac3a81a29 /lib/Analysis/MemRegion.cpp | |
parent | 1cbc6b044fac411ed97c2c97b6873439ac048c91 (diff) |
Add LocationContext* field to VarRegion. This is needed for interprocedural analysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@79680 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/MemRegion.cpp')
-rw-r--r-- | lib/Analysis/MemRegion.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp index ac633060fd..2aacbf9065 100644 --- a/lib/Analysis/MemRegion.cpp +++ b/lib/Analysis/MemRegion.cpp @@ -98,6 +98,10 @@ void DeclRegion::Profile(llvm::FoldingSetNodeID& ID) const { DeclRegion::ProfileRegion(ID, D, superRegion, getKind()); } +void VarRegion::Profile(llvm::FoldingSetNodeID &ID) const { + VarRegion::ProfileRegion(ID, getDecl(), LC, superRegion); +} + void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym, const MemRegion *sreg) { ID.AddInteger((unsigned) MemRegion::SymbolicRegionKind); @@ -249,8 +253,9 @@ StringRegion* MemRegionManager::getStringRegion(const StringLiteral* Str) { return getRegion<StringRegion>(Str); } -VarRegion* MemRegionManager::getVarRegion(const VarDecl* d) { - return getRegion<VarRegion>(d); +VarRegion* MemRegionManager::getVarRegion(const VarDecl* D, + const LocationContext *LC) { + return getRegion<VarRegion>(D, LC); } CompoundLiteralRegion* |