Searched defs:AddRecRange (Results 1 – 1 of 1) sorted by relevance
4637 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges() local4647 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges() local