Searched refs:FirstConstraint (Results 1 – 1 of 1) sorted by relevance
2490 RangeSet FirstConstraint = SymbolicRangeInferrer::inferRange( in addToDisequalityInfo() local2493 FirstConstraint = RF.deletePoint(FirstConstraint, *Point); in addToDisequalityInfo()2497 if (FirstConstraint.isEmpty()) in addToDisequalityInfo()2500 Constraints = CRF.add(Constraints, First, FirstConstraint); in addToDisequalityInfo()