Skip to content
  • Zhongxing Xu's avatar
    Enhances SCA to process untyped region to typed region conversion. · ceca8061
    Zhongxing Xu authored
     - 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.
    
    llvm-svn: 59382
    ceca8061
Loading