This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository clang.
from de3b5e4 Revert [Coverage] Fix an assertion failure if the definition [...] new 3a29813 [analyzer] Reapply r271907 (2nd try).
The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: include/clang/StaticAnalyzer/Checkers/Checkers.td | 8 + .../StaticAnalyzer/Core/PathSensitive/MemRegion.h | 22 ++ lib/StaticAnalyzer/Checkers/CMakeLists.txt | 3 + .../Checkers/MPI-Checker/MPIBugReporter.cpp | 112 +++++++ .../Checkers/MPI-Checker/MPIBugReporter.h | 110 +++++++ .../Checkers/MPI-Checker/MPIChecker.cpp | 190 ++++++++++++ .../Checkers/MPI-Checker/MPIChecker.h | 110 +++++++ .../Checkers/MPI-Checker/MPIFunctionClassifier.cpp | 291 ++++++++++++++++++ .../Checkers/MPI-Checker/MPIFunctionClassifier.h | 97 ++++++ lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h | 68 ++++ lib/StaticAnalyzer/Core/MemRegion.cpp | 59 ++++ test/Analysis/MPIMock.h | 55 ++++ test/Analysis/MemRegion.cpp | 47 +++ test/Analysis/mpichecker.cpp | 342 +++++++++++++++++++++ test/Analysis/mpicheckernotes.cpp | 34 ++ 15 files changed, 1548 insertions(+) create mode 100644 lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.cpp create mode 100644 lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h create mode 100644 lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp create mode 100644 lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h create mode 100644 lib/StaticAnalyzer/Checkers/MPI-Checker/MPIFunctionClassifier.cpp create mode 100644 lib/StaticAnalyzer/Checkers/MPI-Checker/MPIFunctionClassifier.h create mode 100644 lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h create mode 100644 test/Analysis/MPIMock.h create mode 100644 test/Analysis/MemRegion.cpp create mode 100644 test/Analysis/mpichecker.cpp create mode 100644 test/Analysis/mpicheckernotes.cpp