392   using ConstraintSet = std::vector<ValueConstraintPtr>;  typedef in __anon09a2c6cc0111::StdLibraryFunctionsChecker
524     ConstraintSet Constraints;
529     SummaryCase(ConstraintSet &&Constraints, const ErrnoConstraintBase &ErrnoC,  in SummaryCase()
534     SummaryCase(const ConstraintSet &Constraints,  in SummaryCase()
538     const ConstraintSet &getConstraints() const { return Constraints; }  in getConstraints()
631     ConstraintSet ArgConstraints;
640     Summary &Case(ConstraintSet &&CS, const ErrnoConstraintBase &ErrnoC,  in Case()
645     Summary &Case(const ConstraintSet &CS, const ErrnoConstraintBase &ErrnoC,  in Case()
659     const ConstraintSet &getArgConstraints() const { return ArgConstraints; }  in getArgConstraints()
1706         ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))};  in initFunctionSummaries()
1708         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))};  in initFunctionSummaries()
1710         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))};  in initFunctionSummaries()
1712         ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))};  in initFunctionSummaries()
1714         ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))};  in initFunctionSummaries()