diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-16 04:07:26 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-16 04:07:26 +0000 |
| commit | dc0a25d9bff956cdbe54ea0bfc8fbbe3ceb4eb92 (patch) | |
| tree | 8f8e8291fd6f3ef7fc0d350f1b9679fbd7c766d0 /lib/Analysis/BasicStore.cpp | |
| parent | 10cac6f7115b59a466bb8d2d51cdddeb38aadc37 (diff) | |
Enhances SCA to process untyped region to typed region conversion.
- RegionView and RegionViewMap is introduced to assist back-mapping from
super region to subregions.
- GDM is used to carry RegionView information.
- AnonTypedRegion is added to represent a typed region introduced by pointer
casting. Later AnonTypedRegion can be used in other similar cases, e.g.,
malloc()'ed region.
- The specific conversion is delegated to store manager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59382 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 4197c08a9c..8b5ef6ee86 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -65,6 +65,12 @@ public: /// ArrayToPointer - Used by GRExprEngine::VistCast to handle implicit /// conversions between arrays and pointers. SVal ArrayToPointer(SVal Array) { return Array; } + + const GRState* CastRegion(const GRState* St, SVal VoidPtr, QualType CastToTy, + Stmt* CastE) { + return St; + } + /// getSelfRegion - Returns the region for the 'self' (Objective-C) or /// 'this' object (C++). When used when analyzing a normal function this |