Lines Matching refs:ConstraintSet
521 using ConstraintSet = std::vector<ValueConstraintPtr>; typedef in __anon892b0c920111::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()
2144 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))}; in initFunctionSummaries()
2146 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))}; in initFunctionSummaries()
2148 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))}; in initFunctionSummaries()
2150 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(EOFv))}; in initFunctionSummaries()
2152 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))}; in initFunctionSummaries()
2154 ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))}; in initFunctionSummaries()
2156 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))}; in initFunctionSummaries()