diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-12-16 11:27:52 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-12-16 11:27:52 +0000 |
| commit | bb141217871e93767aa3f2de1b9946fa6d37066a (patch) | |
| tree | 4eca9b4297f4a6723c6945cb29833c7c207ef134 /lib/Analysis/RegionStore.cpp | |
| parent | 578b69b186d9cba0a6ae1dd7f4c04cd6a49f0aac (diff) | |
Add a new kind of region: CXXObjectRegion. Currently it has only one
attribute: the object type.
Add initial support for visiting CXXThisExpr.
Fix a bunch of 80-col violations.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91535 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | lib/Analysis/RegionStore.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index bc3680e23d..b83ddf224b 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -746,6 +746,7 @@ DefinedOrUnknownSVal RegionStoreManager::getSizeInElements(const GRState *state, case MemRegion::ObjCIvarRegionKind: case MemRegion::ObjCObjectRegionKind: case MemRegion::SymbolicRegionKind: + case MemRegion::CXXObjectRegionKind: return UnknownVal(); case MemRegion::StringRegionKind: { @@ -869,6 +870,7 @@ SVal RegionStoreManager::EvalBinOp(const GRState *state, case MemRegion::FieldRegionKind: case MemRegion::ObjCObjectRegionKind: case MemRegion::ObjCIvarRegionKind: + case MemRegion::CXXObjectRegionKind: return UnknownVal(); case MemRegion::FunctionTextRegionKind: |