54   void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
137   ProgramStateRef State = C.getState();  in checkBeginFunction()  local
145         State->getRegion(ErrnoVar, C.getLocationContext());  in checkBeginFunction()
147     State = State->set<ErrnoRegion>(ErrnoR);  in checkBeginFunction()
148     State =  in checkBeginFunction()
149         errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant);  in checkBeginFunction()
150     C.addTransition(State);  in checkBeginFunction()
175     State = State->set<ErrnoRegion>(ErrnoR);  in checkBeginFunction()
176     State =  in checkBeginFunction()
177         errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant);  in checkBeginFunction()
178     C.addTransition(State);  in checkBeginFunction()
186     ProgramStateRef State = C.getState();  in evalCall()  local
188     const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in evalCall()
192     State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),  in evalCall()
194     C.addTransition(State);  in evalCall()
201 void ErrnoModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()  argument
204   if (const auto *ErrnoR = State->get<ErrnoRegion>())  in checkLiveSymbols()
212 std::optional<SVal> getErrnoValue(ProgramStateRef State) {  in getErrnoValue()  argument
213   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in getErrnoValue()
216   QualType IntTy = State->getAnalysisManager().getASTContext().IntTy;  in getErrnoValue()
217   return State->getSVal(ErrnoR, IntTy);  in getErrnoValue()
220 ProgramStateRef setErrnoValue(ProgramStateRef State,  in setErrnoValue()  argument
223   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoValue()
225     return State;  in setErrnoValue()
228   State = State->bindLoc(loc::MemRegionVal{ErrnoR}, Value, LCtx);  in setErrnoValue()
229   return State->set<ErrnoState>(EState);  in setErrnoValue()
232 ProgramStateRef setErrnoValue(ProgramStateRef State, CheckerContext &C,  in setErrnoValue()  argument
234   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoValue()
236     return State;  in setErrnoValue()
237   State = State->bindLoc(  in setErrnoValue()
241   return State->set<ErrnoState>(EState);  in setErrnoValue()
244 std::optional<Loc> getErrnoLoc(ProgramStateRef State) {  in getErrnoLoc()  argument
245   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in getErrnoLoc()
251 ErrnoCheckState getErrnoState(ProgramStateRef State) {  in getErrnoState()  argument
252   return State->get<ErrnoState>();  in getErrnoState()
255 ProgramStateRef setErrnoState(ProgramStateRef State, ErrnoCheckState EState) {  in setErrnoState()  argument
256   return State->set<ErrnoState>(EState);  in setErrnoState()
259 ProgramStateRef clearErrnoState(ProgramStateRef State) {  in clearErrnoState()  argument
260   return setErrnoState(State, Irrelevant);  in clearErrnoState()
284 ProgramStateRef setErrnoForStdSuccess(ProgramStateRef State,  in setErrnoForStdSuccess()  argument
286   return setErrnoState(State, MustNotBeChecked);  in setErrnoForStdSuccess()
289 ProgramStateRef setErrnoForStdFailure(ProgramStateRef State, CheckerContext &C,  in setErrnoForStdFailure()  argument
294       SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType())  in setErrnoForStdFailure()
296   State = State->assume(Cond, true);  in setErrnoForStdFailure()
297   if (!State)  in setErrnoForStdFailure()
299   return setErrnoValue(State, C.getLocationContext(), ErrnoSym, Irrelevant);  in setErrnoForStdFailure()
302 ProgramStateRef setErrnoStdMustBeChecked(ProgramStateRef State,  in setErrnoStdMustBeChecked()  argument
305   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoStdMustBeChecked()
307     return State;  in setErrnoStdMustBeChecked()
308   State = State->invalidateRegions(ErrnoR, InvalE, C.blockCount(),  in setErrnoStdMustBeChecked()
310   if (!State)  in setErrnoStdMustBeChecked()
312   return setErrnoState(State, MustBeChecked);  in setErrnoStdMustBeChecked()