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