Searched refs:LHSIsNegative (Results 1 – 1 of 1) sorted by relevance
10423 bool LHSIsNegative = KnownLHS.isNegative(); in expandAddSubSat() local10426 if (LHSIsNegative || RHSIsNegative) { in expandAddSubSat()