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