Searched refs:SummaryCase (Results 1 – 1 of 1) sorted by relevance
653 class SummaryCase { class in __anonfeb424110111::StdLibraryFunctionsChecker659 SummaryCase(ConstraintSet &&Constraints, const ErrnoConstraintBase &ErrnoC, in SummaryCase() function in __anonfeb424110111::StdLibraryFunctionsChecker::SummaryCase664 SummaryCase(const ConstraintSet &Constraints, in SummaryCase() function in __anonfeb424110111::StdLibraryFunctionsChecker::SummaryCase740 using SummaryCases = std::vector<SummaryCase>;772 Cases.push_back(SummaryCase(std::move(CS), ErrnoC, Note)); in Case()777 Cases.push_back(SummaryCase(CS, ErrnoC, Note)); in Case()810 for (const SummaryCase &Case : Cases) in validateByConstraints()1373 for (const SummaryCase &Case : Summary.getCases()) { in checkPostCall()