Searched refs:SummaryCase (Results 1 – 1 of 1) sorted by relevance
523 class SummaryCase { class in __anon09a2c6cc0111::StdLibraryFunctionsChecker529 SummaryCase(ConstraintSet &&Constraints, const ErrnoConstraintBase &ErrnoC, in SummaryCase() function in __anon09a2c6cc0111::StdLibraryFunctionsChecker::SummaryCase534 SummaryCase(const ConstraintSet &Constraints, in SummaryCase() function in __anon09a2c6cc0111::StdLibraryFunctionsChecker::SummaryCase610 using SummaryCases = std::vector<SummaryCase>;642 Cases.push_back(SummaryCase(std::move(CS), ErrnoC, Note)); in Case()647 Cases.push_back(SummaryCase(CS, ErrnoC, Note)); in Case()680 for (const SummaryCase &Case : Cases) in validateByConstraints()1007 for (const SummaryCase &Case : Summary.getCases()) { in checkPostCall()