Skip to content
  • Zhongxing Xu's avatar
    Localize the special processing of array variable inside · dab76fd8
    Zhongxing Xu authored
    GRExprEngine::VisitCast() so that other parts of the analyzer can be ignorant.
    When we cast "array of type T" to "pointer to T", we get the loc::MemRegionVal
    corresponding to the array variable. This is sufficient for BasicStore, but not
    for RegionStore. RegionStore should get the element region for the first array
    element in the cast. So next comes to the revamping of transfer functions for
    different store model.
    
    llvm-svn: 57897
    dab76fd8
Loading