Searched refs:ConstraintSet (Results 1 – 1 of 1) sorted by relevance
387 typedef std::vector<ValueConstraintPtr> ConstraintSet; typedef in __anon6255e2070111::StdLibraryFunctionsChecker454 using Cases = std::vector<ConstraintSet>;486 ConstraintSet ArgConstraints;495 Summary &Case(ConstraintSet &&CS) { in Case()499 Summary &Case(const ConstraintSet &CS) { in Case()512 const ConstraintSet &getArgConstraints() const { return ArgConstraints; } in getArgConstraints()533 for (const ConstraintSet &Case : CaseConstraints) in validateByConstraints()846 for (const ConstraintSet &Case : Summary.getCaseConstraints()) { in checkPostCall()1451 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))}; in initFunctionSummaries()1453 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))}; in initFunctionSummaries()