Searched refs:ConstraintSet (Results 1 – 1 of 1) sorted by relevance
391 using ConstraintSet = std::vector<ValueConstraintPtr>; typedef in __anon2143b5530111::StdLibraryFunctionsChecker523 ConstraintSet Constraints;528 SummaryCase(ConstraintSet &&Constraints, const ErrnoConstraintBase &ErrnoC, in SummaryCase()533 SummaryCase(const ConstraintSet &Constraints, in SummaryCase()537 const ConstraintSet &getConstraints() const { return Constraints; } in getConstraints()630 ConstraintSet ArgConstraints;639 Summary &Case(ConstraintSet &&CS, const ErrnoConstraintBase &ErrnoC, in Case()644 Summary &Case(const ConstraintSet &CS, const ErrnoConstraintBase &ErrnoC, in Case()658 const ConstraintSet &getArgConstraints() const { return ArgConstraints; } in getArgConstraints()1739 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))}; in initFunctionSummaries()[all …]