1032   addToDisequalityInfo(DisequalityMapTy &Info, ConstraintRangeTy &Constraints,
1045 areFeasible(ConstraintRangeTy Constraints) {  in areFeasible()  argument
1047       Constraints,  in areFeasible()
1070                                               ConstraintRangeTy Constraints) {  in setConstraints()  argument
1071   return State->set<ConstraintRange>(Constraints);  in setConstraints()
2063       ConstraintRangeTy Constraints = State->get<ConstraintRange>();  in assign()  local
2067       Constraints = CF.add(Constraints, Class, NewConstraint);  in assign()
2080         Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint);  in assign()
2082       assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "  in assign()
2085       return setConstraints(State, Constraints);  in assign()
2135   ConstraintRangeTy Constraints = State->get<ConstraintRange>();  in assignSymExprToConst()  local
2136   for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) {  in assignSymExprToConst()
2202   ConstraintRangeTy Constraints = State->get<ConstraintRange>();  in getConstraintMap()  local
2203   for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) {  in getConstraintMap()
2300   ConstraintRangeTy Constraints = State->get<ConstraintRange>();  in mergeImpl()  local
2321     Constraints = CRF.remove(Constraints, Other);  in mergeImpl()
2323     Constraints = CRF.add(Constraints, *this, *NewClassConstraint);  in mergeImpl()
2325     assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "  in mergeImpl()
2328     State = State->set<ConstraintRange>(Constraints);  in mergeImpl()
2446   ConstraintRangeTy Constraints = State->get<ConstraintRange>();  in markDisequal()  local
2450   if (!addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, *this,  in markDisequal()
2452       !addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, Other,  in markDisequal()
2456   assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "  in markDisequal()
2460   State = State->set<ConstraintRange>(Constraints);  in markDisequal()
2466     DisequalityMapTy &Info, ConstraintRangeTy &Constraints,  in addToDisequalityInfo()  argument
2487   if (const RangeSet *SecondConstraint = Constraints.lookup(Second))  in addToDisequalityInfo()
2500       Constraints = CRF.add(Constraints, First, FirstConstraint);  in addToDisequalityInfo()
2809   ConstraintRangeTy Constraints = State->get<ConstraintRange>();  in removeDeadBindings()  local
2810   ConstraintRangeTy NewConstraints = Constraints;  in removeDeadBindings()
2830     Constraints = ConstraintFactory.remove(Constraints, Class);  in removeDeadBindings()
2863        Constraints) {  in removeDeadBindings()
2925     State = State->set<ConstraintRange>(Constraints);  in removeDeadBindings()
3196   ConstraintRangeTy Constraints = State->get<ConstraintRange>();  in printConstraints()  local
3199   if (Constraints.isEmpty()) {  in printConstraints()
3205   for (std::pair<EquivalenceClass, RangeSet> P : Constraints) {  in printConstraints()