Searched refs:RangeConstraint (Results 1 – 1 of 1) sorted by relevance
173 class RangeConstraint : public ValueConstraint { class in __anon09a2c6cc0111::StdLibraryFunctionsChecker187 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges) in RangeConstraint() function in __anon09a2c6cc0111::StdLibraryFunctionsChecker::RangeConstraint217 RangeConstraint Tmp(*this); in negate()226 return std::make_shared<RangeConstraint>(Tmp); in negate()789 std::string StdLibraryFunctionsChecker::RangeConstraint::describe( in describe()853 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::applyAsOutOfRange( in applyAsOutOfRange()882 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::applyAsWithinRange( in applyAsWithinRange()1337 return std::make_shared<RangeConstraint>(ArgN, Kind, Ranges); in initFunctionSummaries()1344 return std::make_shared<RangeConstraint>(Ret, Kind, Ranges); in initFunctionSummaries()