Searched refs:AddRecRange (Results 1 – 1 of 1) sorted by relevance
5105 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges() local5110 if (NSWRegion.contains(AddRecRange)) in proveNoWrapViaConstantRanges()5115 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges() local5120 if (NUWRegion.contains(AddRecRange)) in proveNoWrapViaConstantRanges()