1053 LLVM_NODISCARD inline const RangeSet *getConstraint(ProgramStateRef State,  in getConstraint()  function
1058 LLVM_NODISCARD inline const RangeSet *getConstraint(ProgramStateRef State,  in getConstraint()  function
1060   return getConstraint(State, EquivalenceClass::find(State, Sym));  in getConstraint()
1289                      getConstraint(State, Sym),  in infer()
1296     if (const RangeSet *AssociatedConstraint = getConstraint(State, Class))  in infer()
1462       if (const RangeSet *NegatedRange = getConstraint(State, NegatedSym))  in getRangeForNegatedExpr()
1539       const RangeSet *QueriedRangeSet = getConstraint(State, SymSym);  in getRangeForComparisonSymbol()
1547         QueriedRangeSet = getConstraint(State, SymSym);  in getRangeForComparisonSymbol()
2309           intersect(RangeFactory, getConstraint(State, *this),  in mergeImpl()
2310                     getConstraint(State, Other))) {  in mergeImpl()
2603       const RangeSet *ClassConstraint = getConstraint(State, Class);  in simplify()
2627       const RangeSet *ClassConstraint = getConstraint(State, Class);  in simplify()
2767   const RangeSet *Ranges = getConstraint(State, Sym);  in checkNull()
2791   const RangeSet *T = getConstraint(St, Sym);  in getSymVal()