Lines Matching refs:ConstraintSet
391 using ConstraintSet = std::vector<ValueConstraintPtr>; typedef in __anon2143b5530111::StdLibraryFunctionsChecker
523 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()
1741 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))}; in initFunctionSummaries()
1743 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))}; in initFunctionSummaries()
1745 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))}; in initFunctionSummaries()
1747 ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))}; in initFunctionSummaries()
1749 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))}; in initFunctionSummaries()