Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIChecker.cpp153 const MemRegion *SuperRegion{nullptr}; in allRegionsUsedByWait() local
155 SuperRegion = ER->getSuperRegion(); in allRegionsUsedByWait()
159 if (!SuperRegion) { in allRegionsUsedByWait()
165 Ctx.getState(), SuperRegion, in allRegionsUsedByWait()
173 CE.getArgExpr(1)->getType()->getPointeeType(), Idx, SuperRegion, in allRegionsUsedByWait()