103   const MemRegion *ErrnoR = nullptr;  in checkBeginFunction()  local
108     ErrnoR = State->getRegion(ErrnoDecl, C.getLocationContext());  in checkBeginFunction()
109     assert(ErrnoR && "Memory region should exist for the 'errno' variable.");  in checkBeginFunction()
132     ErrnoR = RMgr.getElementRegion(  in checkBeginFunction()
136   assert(ErrnoR);  in checkBeginFunction()
137   State = State->set<ErrnoRegion>(ErrnoR);  in checkBeginFunction()
149     const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in evalCall()  local
150     if (!ErrnoR)  in evalCall()
154                             loc::MemRegionVal{ErrnoR});  in evalCall()
165   if (const auto *ErrnoR = State->get<ErrnoRegion>())  in checkLiveSymbols()  local
166     SR.markLive(ErrnoR);  in checkLiveSymbols()
174   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in getErrnoValue()  local
175   if (!ErrnoR)  in getErrnoValue()
178   return State->getSVal(ErrnoR, IntTy);  in getErrnoValue()
184   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoValue()  local
185   if (!ErrnoR)  in setErrnoValue()
189   State = State->bindLoc(loc::MemRegionVal{ErrnoR}, Value, LCtx);  in setErrnoValue()
195   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoValue()  local
196   if (!ErrnoR)  in setErrnoValue()
199       loc::MemRegionVal{ErrnoR},  in setErrnoValue()
206   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in getErrnoLoc()  local
207   if (!ErrnoR)  in getErrnoLoc()
209   return loc::MemRegionVal{ErrnoR};  in getErrnoLoc()
230     const MemRegion *ErrnoR = BR.getErrorNode()->getState()->get<ErrnoRegion>();  in getErrnoNoteTag()  local
231     if (ErrnoR && BR.isInteresting(ErrnoR)) {  in getErrnoNoteTag()
232       BR.markNotInteresting(ErrnoR);  in getErrnoNoteTag()
260   const MemRegion *ErrnoR = State->get<ErrnoRegion>();  in setErrnoStdMustBeChecked()  local
261   if (!ErrnoR)  in setErrnoStdMustBeChecked()
263   State = State->invalidateRegions(ErrnoR, InvalE, C.blockCount(),  in setErrnoStdMustBeChecked()