Searched refs:PreCallEvent (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A 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, in checkDoubleNonblocking()
57 void MPIChecker::checkUnmatchedWaits(const CallEvent &PreCallEvent, in checkUnmatchedWaits() argument
59 if (!FuncClassifier->isWaitType(PreCallEvent.getCalleeIdentifier())) in checkUnmatchedWaits()
61 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent); in checkUnmatchedWaits()
71 allRegionsUsedByWait(ReqRegions, MR, PreCallEvent, Ctx); in checkUnmatchedWaits()
89 BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode, in checkUnmatchedWaits()
|
| H A D | MPIChecker.h | 58 void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
|