| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
172 bool ento::shouldRegisterCFGViewer(const LangOptions &LO) { in shouldRegisterCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
202 bool ento::shouldRegisterCFGDumper(const LangOptions &LO) { in shouldRegisterCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
290 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
[all …]
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveStatementsDumper(CheckerManager &mgr) { in registerLiveStatementsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveStatementsDumper(CheckerManager &mgr) { in registerLiveStatementsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
172 bool ento::shouldRegisterCFGViewer(const LangOptions &LO) { in shouldRegisterCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
202 bool ento::shouldRegisterCFGDumper(const LangOptions &LO) { in shouldRegisterCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
290 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
172 bool ento::shouldRegisterCFGViewer(const LangOptions &LO) { in shouldRegisterCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
202 bool ento::shouldRegisterCFGDumper(const LangOptions &LO) { in shouldRegisterCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
290 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|