Searched refs:RangeConstraint (Results 1 – 1 of 1) sorted by relevance
265 class RangeConstraint : public ValueConstraint { class in __anon4d759d9c0111::StdLibraryFunctionsChecker280 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges, in RangeConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::RangeConstraint300 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()[all …]