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