Searched refs:canDivide (Results 1 – 1 of 1) sorted by relevance
196 bool canDivide = rhsMin.isStrictlyPositive() || rhsMax.isNegative(); in inferDivSIRange() local198 if (canDivide) { in inferDivSIRange()