Searched refs:ConstraintSet (Results 1 – 1 of 1) sorted by relevance
392 using ConstraintSet = std::vector<ValueConstraintPtr>; typedef in __anon09a2c6cc0111::StdLibraryFunctionsChecker524 ConstraintSet Constraints;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()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()[all …]