Lines Matching refs:errno_modeling

67 static const char *describeErrnoCheckState(errno_modeling::ErrnoCheckState CS) {  in describeErrnoCheckState()
68   assert(CS == errno_modeling::MustNotBeChecked &&  in describeErrnoCheckState()
412     const errno_modeling::ErrnoCheckState CheckState;
414     ErrnoConstraintBase(errno_modeling::ErrnoCheckState CS) : CheckState(CS) {}  in ErrnoConstraintBase()
429                                errno_modeling::ErrnoCheckState CS)  in ZeroRelatedErrnoConstraint()
451       return errno_modeling::setErrnoValue(State, C.getLocationContext(),  in apply()
456       if (CheckState == errno_modeling::Irrelevant)  in describe()
473         : ErrnoConstraintBase(errno_modeling::MustNotBeChecked) {}  in SuccessErrnoConstraint()
478       return errno_modeling::setErrnoState(State, CheckState);  in apply()
493     NoErrnoConstraint() : ErrnoConstraintBase(errno_modeling::Irrelevant) {}  in NoErrnoConstraint()
498       return errno_modeling::setErrnoState(State, CheckState);  in apply()
764       clang::BinaryOperatorKind::BO_NE, errno_modeling::Irrelevant};
1026           C.addTransition(NewState, errno_modeling::getErrnoNoteTag(C, Note));  in checkPostCall()