Lines Matching defs:RangeConstraint
260 /// The default constructed RangeConstraint has an empty range, applying
265 class RangeConstraint : public ValueConstraint {
280 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges,
300 RangeConstraint Tmp(*this);
302 return std::make_shared<RangeConstraint>(Tmp);
986 void StdLibraryFunctionsChecker::RangeConstraint::applyOnWithinRange(
1000 void StdLibraryFunctionsChecker::RangeConstraint::applyOnOutOfRange(
1037 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::apply(
1059 void StdLibraryFunctionsChecker::RangeConstraint::describe(
1089 bool StdLibraryFunctionsChecker::RangeConstraint::describeArgumentValue(
1758 return std::make_shared<RangeConstraint>(ArgN, Kind, Ranges, Desc);
1765 return std::make_shared<RangeConstraint>(Ret, Kind, Ranges);
2163 return std::make_shared<RangeConstraint>(