diff options
| author | Devin Coughlin <dcoughlin@apple.com> | 2016-08-02 23:24:40 +0000 |
|---|---|---|
| committer | Devin Coughlin <dcoughlin@apple.com> | 2016-08-02 23:24:40 +0000 |
| commit | 1bb47ac0c88484b2250b903a46760e6a1ac30d67 (patch) | |
| tree | ef114c0593ea4b6e170d6ed99f3f206880eacff3 | |
| parent | 8b4904f9d72e25a9f3452149464ffed1204fc2d2 (diff) | |
| download | bcm5719-llvm-1bb47ac0c88484b2250b903a46760e6a1ac30d67.tar.gz bcm5719-llvm-1bb47ac0c88484b2250b903a46760e6a1ac30d67.zip | |
[analyzer] Update two comments in MPI-Checker. NFC.
Correct two comments that do not match the current behavior of the checker.
A patch by Alexander Droste!
Differential Revision: https://reviews.llvm.org/D22670
llvm-svn: 277547
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h | 4 | ||||
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h | 7 |
2 files changed, 4 insertions, 7 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h b/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h index 22fbf4c5b30..8474d2d194e 100644 --- a/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h +++ b/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h @@ -46,9 +46,7 @@ public: const ExplodedNode *const ExplNode, BugReporter &BReporter) const; - /// Report a missing wait for a nonblocking call. A missing wait report - /// is emitted if a nonblocking call is not matched in the scope of a - /// function. + /// Report a missing wait for a nonblocking call. /// /// \param Req request that is not matched by a wait /// \param RequestRegion memory region of the request diff --git a/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h b/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h index 45bfd3b84bb..6b1c062ef3d 100644 --- a/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h +++ b/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h @@ -59,10 +59,9 @@ public: void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent, clang::ento::CheckerContext &Ctx) const; - /// Checks if a request is used by a wait multiple times in sequence without - /// intermediate nonblocking call or if the request used by the wait - /// function was not used at all before. The check contains a guard, - /// in order to only inspect wait functions. + /// Checks if the request used by the wait function was not used at all + /// before. The check contains a guard, in order to only inspect wait + /// functions. /// /// \param PreCallEvent MPI call to verify void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent, |
