Searched refs:getErrnoLoc (Results 1 – 4 of 4) sorted by relevance
135 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation()209 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall()222 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(State); in checkRegionChanges()
55 std::optional<Loc> getErrnoLoc(ProgramStateRef State);
203 std::optional<Loc> getErrnoLoc(ProgramStateRef State) { in getErrnoLoc() function
1446 errno_modeling::getErrnoLoc(BR.getErrorNode()->getState()); in checkPostCall()