Searched refs:ConstraintSet (Results 1 – 1 of 1) sorted by relevance
521 using ConstraintSet = std::vector<ValueConstraintPtr>; typedef in __anon892b0c920111::StdLibraryFunctionsChecker654 ConstraintSet Constraints;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()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()2152 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))}; in initFunctionSummaries()[all …]