53   void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
136   ProgramStateRef State = C.getState();  in checkBeginFunction()  local
144         State->getRegion(ErrnoVar, C.getLocationContext());  in checkBeginFunction()
146     State = State->set<ErrnoRegion>(ErrnoR);  in checkBeginFunction()
147     State =  in checkBeginFunction()
148         errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant);  in checkBeginFunction()
149     C.addTransition(State);  in checkBeginFunction()
174     State = State->set<ErrnoRegion>(ErrnoR);  in checkBeginFunction()
175     State =  in checkBeginFunction()
176         errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant);  in checkBeginFunction()
177     C.addTransition(State);  in checkBeginFunction()
185     ProgramStateRef State = C.getState();  in evalCall()  local
187     const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in evalCall()
191     State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),  in evalCall()
193     C.addTransition(State);  in evalCall()
200 void ErrnoModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()  argument
203   if (const auto *ErrnoR = State->get<ErrnoRegion>())  in checkLiveSymbols()
211 std::optional<SVal> getErrnoValue(ProgramStateRef State) {  in getErrnoValue()  argument
212   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in getErrnoValue()
215   QualType IntTy = State->getAnalysisManager().getASTContext().IntTy;  in getErrnoValue()
216   return State->getSVal(ErrnoR, IntTy);  in getErrnoValue()
219 ProgramStateRef setErrnoValue(ProgramStateRef State,  in setErrnoValue()  argument
222   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoValue()
224     return State;  in setErrnoValue()
227   State = State->bindLoc(loc::MemRegionVal{ErrnoR}, Value, LCtx);  in setErrnoValue()
228   return State->set<ErrnoState>(EState);  in setErrnoValue()
231 ProgramStateRef setErrnoValue(ProgramStateRef State, CheckerContext &C,  in setErrnoValue()  argument
233   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoValue()
235     return State;  in setErrnoValue()
236   State = State->bindLoc(  in setErrnoValue()
240   return State->set<ErrnoState>(EState);  in setErrnoValue()
243 std::optional<Loc> getErrnoLoc(ProgramStateRef State) {  in getErrnoLoc()  argument
244   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in getErrnoLoc()
250 ErrnoCheckState getErrnoState(ProgramStateRef State) {  in getErrnoState()  argument
251   return State->get<ErrnoState>();  in getErrnoState()
254 ProgramStateRef setErrnoState(ProgramStateRef State, ErrnoCheckState EState) {  in setErrnoState()  argument
255   return State->set<ErrnoState>(EState);  in setErrnoState()
258 ProgramStateRef clearErrnoState(ProgramStateRef State) {  in clearErrnoState()  argument
259   return setErrnoState(State, Irrelevant);  in clearErrnoState()
289 ProgramStateRef setErrnoForStdSuccess(ProgramStateRef State,  in setErrnoForStdSuccess()  argument
291   return setErrnoState(State, MustNotBeChecked);  in setErrnoForStdSuccess()
294 ProgramStateRef setErrnoForStdFailure(ProgramStateRef State, CheckerContext &C,  in setErrnoForStdFailure()  argument
299       SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType())  in setErrnoForStdFailure()
301   State = State->assume(Cond, true);  in setErrnoForStdFailure()
302   if (!State)  in setErrnoForStdFailure()
304   return setErrnoValue(State, C.getLocationContext(), ErrnoSym, Irrelevant);  in setErrnoForStdFailure()
307 ProgramStateRef setErrnoStdMustBeChecked(ProgramStateRef State,  in setErrnoStdMustBeChecked()  argument
310   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoStdMustBeChecked()
312     return State;  in setErrnoStdMustBeChecked()
313   State = State->invalidateRegions(ErrnoR, InvalE, C.blockCount(),  in setErrnoStdMustBeChecked()
315   if (!State)  in setErrnoStdMustBeChecked()
317   return setErrnoState(State, MustBeChecked);  in setErrnoStdMustBeChecked()