Lines Matching defs:PreCallEvent
25 void MPIChecker::checkDoubleNonblocking(const CallEvent &PreCallEvent,
27 if (!FuncClassifier->isNonBlockingType(PreCallEvent.getCalleeIdentifier())) {
31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion();
46 BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode,
57 void MPIChecker::checkUnmatchedWaits(const CallEvent &PreCallEvent,
59 if (!FuncClassifier->isWaitType(PreCallEvent.getCalleeIdentifier()))
61 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent);
71 allRegionsUsedByWait(ReqRegions, MR, PreCallEvent, Ctx);
89 BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode,