Searched refs:getErrnoLoc (Results 1 – 4 of 4) 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);
205 std::optional<Loc> getErrnoLoc(ProgramStateRef State) { in getErrnoLoc() function
1442 errno_modeling::getErrnoLoc(BR.getErrorNode()->getState()); in checkPostCall()