diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-11-25 01:32:22 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-11-25 01:32:22 +0000 |
| commit | eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cb (patch) | |
| tree | f784554411a98939c9fd52750f340401a5f34cfe /lib/Analysis/RegionStore.cpp | |
| parent | f88f7ab5adaa11d050270ffee6aa871e855f83b8 (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/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 af2e359a00..16a4690f95 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -712,7 +712,8 @@ DefinedOrUnknownSVal RegionStoreManager::getSizeInElements(const GRState *state, assert(0 && "Cannot index into a MemSpace"); return UnknownVal(); - case MemRegion::CodeTextRegionKind: + case MemRegion::FunctionTextRegionKind: + case MemRegion::BlockTextRegionKind: // Technically this can happen if people do funny things with casts. return UnknownVal(); @@ -857,7 +858,8 @@ SVal RegionStoreManager::EvalBinOp(const GRState *state, case MemRegion::ObjCIvarRegionKind: return UnknownVal(); - case MemRegion::CodeTextRegionKind: + case MemRegion::FunctionTextRegionKind: + case MemRegion::BlockTextRegionKind: // Technically this can happen if people do funny things with casts. return UnknownVal(); |