Searched refs:PreCallEvent (Results 1 – 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.cpp | 25 void MPIChecker::checkDoubleNonblocking(const CallEvent &PreCallEvent, in checkDoubleNonblocking() argument
27 if (!FuncClassifier->isNonBlockingType(PreCallEvent.getCalleeIdentifier())) { in checkDoubleNonblocking()
31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion(); in checkDoubleNonblocking()
46 BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode, Ctx.getBugReporter()); in checkDoubleNonblocking()
56 void MPIChecker::checkUnmatchedWaits(const CallEvent &PreCallEvent, in checkUnmatchedWaits() argument
58 if (!FuncClassifier->isWaitType(PreCallEvent.getCalleeIdentifier())) in checkUnmatchedWaits()
60 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent); in checkUnmatchedWaits()
70 allRegionsUsedByWait(ReqRegions, MR, PreCallEvent, Ctx); in checkUnmatchedWaits()
88 BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode, Ctx.getBugReporter()); in checkUnmatchedWaits()
|
| D | MPIChecker.h | 60 void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
69 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
|