Searched refs:StepCR (Results 1 – 1 of 1) sorted by relevance
5061 ConstantRange StepCR = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges() local5064 BECountAP.getActiveBits() + StepCR.getMinSignedBits(); in proveNoWrapViaConstantRanges()