Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp70 llvm::SmallVector<const MemRegion *, 2> ReqRegions; in checkUnmatchedWaits() local
71 allRegionsUsedByWait(ReqRegions, MR, PreCallEvent, Ctx); in checkUnmatchedWaits()
72 if (ReqRegions.empty()) in checkUnmatchedWaits()
80 for (const auto &ReqRegion : ReqRegions) { in checkUnmatchedWaits()
147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions, in allRegionsUsedByWait() argument
160 ReqRegions.push_back(MR); in allRegionsUsedByWait()
177 ReqRegions.push_back(ER->getAs<MemRegion>()); in allRegionsUsedByWait()
180 ReqRegions.push_back(MR); in allRegionsUsedByWait()
H A DMPIChecker.h85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,