Lines Matching defs:ErrnoLoc

135   std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState());
136   if (!ErrnoLoc)
140   if (!L || *ErrnoLoc != *L)
155           BR->markInteresting(ErrnoLoc->getAsRegion());
176                                  ErrnoLoc->getAsRegion(), nullptr);
209       std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState());
210       assert(ErrnoLoc && "ErrnoLoc should exist if an errno state is set.");
212                                  ErrnoLoc->getAsRegion(), &Call);
222   std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(State);
223   if (!ErrnoLoc)
225   const MemRegion *ErrnoRegion = ErrnoLoc->getAsRegion();