Searched refs:NonAffineSubRegionSet (Results 1 – 3 of 3) sorted by relevance
174 RegionSet NonAffineSubRegionSet; member
2386 return DC.NonAffineSubRegionSet.count(R); in isNonAffineSubRegion()
454 if (!Context.NonAffineSubRegionSet.insert(AR)) in addOverApproximatedRegion()488 for (auto NonAffineRegion : Context.NonAffineSubRegionSet) { in onlyValidRequiredInvariantLoads()