Lines Matching refs:RangeConstraint
265 class RangeConstraint : public ValueConstraint { class in __anon4d759d9c0111::StdLibraryFunctionsChecker
280 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges, in RangeConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::RangeConstraint
300 RangeConstraint Tmp(*this); in negate()
302 return std::make_shared<RangeConstraint>(Tmp); in negate()
986 void StdLibraryFunctionsChecker::RangeConstraint::applyOnWithinRange( in applyOnWithinRange()
1000 void StdLibraryFunctionsChecker::RangeConstraint::applyOnOutOfRange( in applyOnOutOfRange()
1037 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::apply( in apply()
1059 void StdLibraryFunctionsChecker::RangeConstraint::describe( in describe()
1089 bool StdLibraryFunctionsChecker::RangeConstraint::describeArgumentValue( in describeArgumentValue()
1758 return std::make_shared<RangeConstraint>(ArgN, Kind, Ranges, Desc); in initFunctionSummaries()
1765 return std::make_shared<RangeConstraint>(Ret, Kind, Ranges); in initFunctionSummaries()
2163 return std::make_shared<RangeConstraint>( in initFunctionSummaries()