521   using ConstraintSet = std::vector<ValueConstraintPtr>;  typedef in __anon4d759d9c0111::StdLibraryFunctionsChecker
654     ConstraintSet Constraints;
659     SummaryCase(ConstraintSet &&Constraints, const ErrnoConstraintBase &ErrnoC,  in SummaryCase()
664     SummaryCase(const ConstraintSet &Constraints,  in SummaryCase()
668     const ConstraintSet &getConstraints() const { return Constraints; }  in getConstraints()
761     ConstraintSet ArgConstraints;
770     Summary &Case(ConstraintSet &&CS, const ErrnoConstraintBase &ErrnoC,  in Case()
775     Summary &Case(const ConstraintSet &CS, const ErrnoConstraintBase &ErrnoC,  in Case()
789     const ConstraintSet &getArgConstraints() const { return ArgConstraints; }  in getArgConstraints()
2147         ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))};  in initFunctionSummaries()
2149         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))};  in initFunctionSummaries()
2151         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))};  in initFunctionSummaries()
2153         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(EOFv))};  in initFunctionSummaries()
2155         ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))};  in initFunctionSummaries()
2157         ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))};  in initFunctionSummaries()
2159         ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))};  in initFunctionSummaries()