Lines Matching defs:getConstraint

1053 [[nodiscard]] inline const RangeSet *getConstraint(ProgramStateRef State,
1058 [[nodiscard]] inline const RangeSet *getConstraint(ProgramStateRef State,
1060   return getConstraint(State, EquivalenceClass::find(State, Sym));
1294                      getConstraint(State, Sym),
1301     if (const RangeSet *AssociatedConstraint = getConstraint(State, Class))
1452       if (const RangeSet *NegatedRange = getConstraint(State, NegatedSym))
1500     if (const RangeSet *Range = getConstraint(State, Commuted))
1545       const RangeSet *QueriedRangeSet = getConstraint(State, SymSym);
1553         QueriedRangeSet = getConstraint(State, SymSym);
2392           intersect(RangeFactory, getConstraint(State, *this),
2393                     getConstraint(State, Other))) {
2685       const RangeSet *ClassConstraint = getConstraint(State, Class);
2720       const RangeSet *ClassConstraint = getConstraint(State, Class);
2860   const RangeSet *Ranges = getConstraint(State, Sym);