Lines Matching defs:ErrnoR

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