aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ValueManager.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-11-25 01:32:22 +0000
committerTed Kremenek <kremenek@apple.com>2009-11-25 01:32:22 +0000
commiteb1c7a04509f5d25c09005a6d46bd8bbb3ca88cb (patch)
treef784554411a98939c9fd52750f340401a5f34cfe /lib/Analysis/ValueManager.cpp
parentf88f7ab5adaa11d050270ffee6aa871e855f83b8 (diff)
Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89828 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ValueManager.cpp')
-rw-r--r--lib/Analysis/ValueManager.cpp9
1 files changed, 8 insertions, 1 deletions
diff --git a/lib/Analysis/ValueManager.cpp b/lib/Analysis/ValueManager.cpp
index fe670e79b3..37df443602 100644
--- a/lib/Analysis/ValueManager.cpp
+++ b/lib/Analysis/ValueManager.cpp
@@ -138,6 +138,13 @@ ValueManager::getDerivedRegionValueSymbolVal(SymbolRef parentSymbol,
}
DefinedSVal ValueManager::getFunctionPointer(const FunctionDecl* FD) {
- CodeTextRegion *R = MemMgr.getCodeTextRegion(FD);
+ CodeTextRegion *R = MemMgr.getFunctionTextRegion(FD);
return loc::MemRegionVal(R);
}
+
+DefinedSVal ValueManager::getBlockPointer(const BlockDecl *BD,
+ CanQualType locTy) {
+ CodeTextRegion *R = MemMgr.getBlockTextRegion(BD, locTy);
+ return loc::MemRegionVal(R);
+}
+