Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIChecker.cpp69 llvm::SmallVector<const MemRegion *, 2> ReqRegions; in checkUnmatchedWaits() local
70 allRegionsUsedByWait(ReqRegions, MR, PreCallEvent, Ctx); in checkUnmatchedWaits()
71 if (ReqRegions.empty()) in checkUnmatchedWaits()
79 for (const auto &ReqRegion : ReqRegions) { in checkUnmatchedWaits()
147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions, in allRegionsUsedByWait() argument
160 ReqRegions.push_back(MR); in allRegionsUsedByWait()
176 ReqRegions.push_back(ER->getAs<MemRegion>()); in allRegionsUsedByWait()
179 ReqRegions.push_back(MR); in allRegionsUsedByWait()
DMPIChecker.h88 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,