Searched refs:LHSIsNonNegative (Results 1 – 1 of 1) sorted by relevance
10415 bool LHSIsNonNegative = KnownLHS.isNonNegative(); in expandAddSubSat() local10418 if (LHSIsNonNegative || RHSIsNonNegative) { in expandAddSubSat()