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