52   void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
135   ProgramStateRef State = C.getState();  in checkBeginFunction()  local
143         State->getRegion(ErrnoVar, C.getLocationContext());  in checkBeginFunction()
145     State = State->set<ErrnoRegion>(ErrnoR);  in checkBeginFunction()
146     State =  in checkBeginFunction()
147         errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant);  in checkBeginFunction()
148     C.addTransition(State);  in checkBeginFunction()
173     State = State->set<ErrnoRegion>(ErrnoR);  in checkBeginFunction()
174     State =  in checkBeginFunction()
175         errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant);  in checkBeginFunction()
176     C.addTransition(State);  in checkBeginFunction()
184     ProgramStateRef State = C.getState();  in evalCall()  local
186     const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in evalCall()
190     State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),  in evalCall()
192     C.addTransition(State);  in evalCall()
199 void ErrnoModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()  argument
202   if (const auto *ErrnoR = State->get<ErrnoRegion>())  in checkLiveSymbols()
210 Optional<SVal> getErrnoValue(ProgramStateRef State) {  in getErrnoValue()  argument
211   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in getErrnoValue()
214   QualType IntTy = State->getAnalysisManager().getASTContext().IntTy;  in getErrnoValue()
215   return State->getSVal(ErrnoR, IntTy);  in getErrnoValue()
218 ProgramStateRef setErrnoValue(ProgramStateRef State,  in setErrnoValue()  argument
221   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoValue()
223     return State;  in setErrnoValue()
226   State = State->bindLoc(loc::MemRegionVal{ErrnoR}, Value, LCtx);  in setErrnoValue()
227   return State->set<ErrnoState>(EState);  in setErrnoValue()
230 ProgramStateRef setErrnoValue(ProgramStateRef State, CheckerContext &C,  in setErrnoValue()  argument
232   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoValue()
234     return State;  in setErrnoValue()
235   State = State->bindLoc(  in setErrnoValue()
239   return State->set<ErrnoState>(EState);  in setErrnoValue()
242 Optional<Loc> getErrnoLoc(ProgramStateRef State) {  in getErrnoLoc()  argument
243   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in getErrnoLoc()
249 ProgramStateRef setErrnoState(ProgramStateRef State, ErrnoCheckState EState) {  in setErrnoState()  argument
250   return State->set<ErrnoState>(EState);  in setErrnoState()
253 ErrnoCheckState getErrnoState(ProgramStateRef State) {  in getErrnoState()  argument
254   return State->get<ErrnoState>();  in getErrnoState()