Searched refs:ErrnoCheckState (Results 1 – 4 of 4) sorted by relevance
24 enum ErrnoCheckState : unsigned { enum42 ErrnoCheckState getErrnoState(ProgramStateRef State);53 ErrnoCheckState EState);58 uint64_t Value, ErrnoCheckState EState);61 ProgramStateRef setErrnoState(ProgramStateRef State, ErrnoCheckState EState);
73 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoState, errno_modeling::ErrnoCheckState) in REGISTER_TRAIT_WITH_PROGRAMSTATE()220 ErrnoCheckState EState) { in setErrnoValue()231 uint64_t Value, ErrnoCheckState EState) { in setErrnoValue()249 ProgramStateRef setErrnoState(ProgramStateRef State, ErrnoCheckState EState) { in setErrnoState()253 ErrnoCheckState getErrnoState(ProgramStateRef State) { in getErrnoState()
144 ErrnoCheckState EState = getErrnoState(State); in checkLocation()
67 static const char *describeErrnoCheckState(errno_modeling::ErrnoCheckState CS) { 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()