Searched refs:ErrnoLoc (Results 1 – 1 of 1) sorted by relevance
136 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation() local137 if (!ErrnoLoc) in checkLocation()141 if (!L || *ErrnoLoc != *L) in checkLocation()156 BR->markInteresting(ErrnoLoc->getAsRegion()); in checkLocation()177 ErrnoLoc->getAsRegion(), nullptr); in checkLocation()210 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall() local211 assert(ErrnoLoc && "ErrnoLoc should exist if an errno state is set."); in checkPreCall()213 ErrnoLoc->getAsRegion(), &Call); in checkPreCall()223 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(State); in checkRegionChanges() local224 if (!ErrnoLoc) in checkRegionChanges()[all …]