]> granicus.if.org Git - clang/commit
Enhances SCA to process untyped region to typed region conversion.
authorZhongxing Xu <xuzhongxing@gmail.com>
Sun, 16 Nov 2008 04:07:26 +0000 (04:07 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Sun, 16 Nov 2008 04:07:26 +0000 (04:07 +0000)
commitdc0a25d9bff956cdbe54ea0bfc8fbbe3ceb4eb92
tree8f8e8291fd6f3ef7fc0d350f1b9679fbd7c766d0
parent10cac6f7115b59a466bb8d2d51cdddeb38aadc37
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
include/clang/Analysis/PathSensitive/MemRegion.h
include/clang/Analysis/PathSensitive/Store.h
lib/Analysis/BasicStore.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/MemRegion.cpp
lib/Analysis/RegionStore.cpp