Searched refs:getErrnoLoc (Results 1 – 3 of 3) sorted by relevance
136 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation()210 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall()223 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(State); in checkRegionChanges()
55 std::optional<Loc> getErrnoLoc(ProgramStateRef State);
243 std::optional<Loc> getErrnoLoc(ProgramStateRef State) { in getErrnoLoc() function