Lines Matching defs:ErrnoLoc

136   std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState());
137   if (!ErrnoLoc)
141   if (!L || *ErrnoLoc != *L)
156           BR->markInteresting(ErrnoLoc->getAsRegion());
177                                  ErrnoLoc->getAsRegion(), nullptr);
210       std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState());
211       assert(ErrnoLoc && "ErrnoLoc should exist if an errno state is set.");
213                                  ErrnoLoc->getAsRegion(), &Call);
223   std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(State);
224   if (!ErrnoLoc)
226   const MemRegion *ErrnoRegion = ErrnoLoc->getAsRegion();