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