Searched refs:RangeConstraint (Results 1 – 1 of 1) sorted by relevance
168 class RangeConstraint : public ValueConstraint { class in __anon6255e2070111::StdLibraryFunctionsChecker182 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges) in RangeConstraint() function in __anon6255e2070111::StdLibraryFunctionsChecker::RangeConstraint212 RangeConstraint Tmp(*this); in negate()221 return std::make_shared<RangeConstraint>(Tmp); in negate()629 std::string StdLibraryFunctionsChecker::RangeConstraint::describe( in describe()693 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::applyAsOutOfRange( in applyAsOutOfRange()722 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::applyAsWithinRange( in applyAsWithinRange()1151 return std::make_shared<RangeConstraint>(ArgN, Kind, Ranges); in initFunctionSummaries()1158 return std::make_shared<RangeConstraint>(Ret, Kind, Ranges); in initFunctionSummaries()