Searched refs:RHSNonNegative (Results 1 – 1 of 1) sorted by relevance
5635 bool RHSNonNegative = RHSKnown.isNonNegative(); in computeKnownBitsForTargetNode() local5638 if ((LHSNonNegative && RHSNonNegative) || (LHSNegative && RHSNegative)) in computeKnownBitsForTargetNode()