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 /test/Analysis/array-struct.c | |
| 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 'test/Analysis/array-struct.c')
0 files changed, 0 insertions, 0 deletions