Searched refs:getErrnoConstraint (Results 1 – 1 of 1) sorted by relevance
669 const ErrnoConstraintBase &getErrnoConstraint() const { in getErrnoConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::SummaryCase1382 NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C); in checkPostCall()1397 std::string ErrnoNote = Case.getErrnoConstraint().describe(C); in checkPostCall()