Searched refs:RangeConstraint (Results 1 – 1 of 1) sorted by relevance
265 class RangeConstraint : public ValueConstraint { class in __anon892b0c920111::StdLibraryFunctionsChecker300 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()[all …]