Home
last modified time | relevance | path

Searched refs:RequestMap (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp41 const Request *const Req = State->get<RequestMap>(MR); in checkDoubleNonblocking()
52 State = State->set<RequestMap>(MR, Request::State::Nonblocking); in checkDoubleNonblocking()
81 const Request *const Req = State->get<RequestMap>(ReqRegion); in checkUnmatchedWaits()
82 State = State->set<RequestMap>(ReqRegion, Request::State::Wait); in checkUnmatchedWaits()
104 const auto &Requests = State->get<RequestMap>(); in checkMissingWaits()
111 auto ReqMap = State->get<RequestMap>(); in checkMissingWaits()
123 State = State->remove<RequestMap>(Req.first); in checkMissingWaits()
H A DMPITypes.h48 struct RequestMap {}; struct
56 struct ProgramStateTrait<mpi::RequestMap>