Searched refs:getErrnoState (Results 1 – 3 of 3) sorted by relevance
145 ErrnoCheckState EState = getErrnoState(State); in checkLocation()209 if (getErrnoState(C.getState()) == MustBeChecked) { in checkPreCall()
50 ErrnoCheckState getErrnoState(ProgramStateRef State);
212 ErrnoCheckState getErrnoState(ProgramStateRef State) { in getErrnoState() function