Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Super

823     // the super-region.
1887 // First build sets for the changed regions and their super-regions.
1907 // Is this entry for a super-region of a changed region?
1914 const MemRegion *Super = MR;
1915 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) {
1916 Super = SR->getSuperRegion();
1917 if (Invalidated.count(Super)) {