Searched refs:CheckState (Results 1 – 1 of 1) sorted by relevance
412 const errno_modeling::ErrnoCheckState CheckState; member in __anon09a2c6cc0111::StdLibraryFunctionsChecker::ErrnoConstraintBase414 ErrnoConstraintBase(errno_modeling::ErrnoCheckState CS) : CheckState(CS) {} in ErrnoConstraintBase()452 ErrnoSVal, CheckState); in apply()456 if (CheckState == errno_modeling::Irrelevant) in describe()461 describeErrnoCheckState(CheckState)) in describe()478 return errno_modeling::setErrnoState(State, CheckState); in apply()484 describeErrnoCheckState(CheckState)) in describe()498 return errno_modeling::setErrnoState(State, CheckState); in apply()