101   ProgramStateRef State = C.getState();  in checkBeginFunction()  local
147     ProgramStateRef State = C.getState();  in evalCall()  local
162 void ErrnoModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
173 std::optional<SVal> getErrnoValue(ProgramStateRef State) {  in getErrnoValue()
181 ProgramStateRef setErrnoValue(ProgramStateRef State,  in setErrnoValue()
193 ProgramStateRef setErrnoValue(ProgramStateRef State, CheckerContext &C,  in setErrnoValue()
205 std::optional<Loc> getErrnoLoc(ProgramStateRef State) {  in getErrnoLoc()
212 ErrnoCheckState getErrnoState(ProgramStateRef State) {  in getErrnoState()
216 ProgramStateRef setErrnoState(ProgramStateRef State, ErrnoCheckState EState) {  in setErrnoState()
220 ProgramStateRef clearErrnoState(ProgramStateRef State) {  in clearErrnoState()
239 ProgramStateRef setErrnoForStdSuccess(ProgramStateRef State,  in setErrnoForStdSuccess()
244 ProgramStateRef setErrnoForStdFailure(ProgramStateRef State, CheckerContext &C,  in setErrnoForStdFailure()
257 ProgramStateRef setErrnoStdMustBeChecked(ProgramStateRef State,  in setErrnoStdMustBeChecked()