Index: lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h =================================================================== --- lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h +++ lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h @@ -19,8 +19,8 @@ #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPICHECKER_H #include "MPIBugReporter.h" -#include "MPIFunctionClassifier.h" #include "MPITypes.h" +#include "clang/StaticAnalyzer/Checkers/MPIFunctionClassifier.h" #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" @@ -30,7 +30,7 @@ class MPIChecker : public Checker { public: - MPIChecker() : BReporter(*this) { } + MPIChecker() : BReporter(*this) {} // path-sensitive callbacks void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { @@ -49,7 +49,6 @@ return; const_cast &>(FuncClassifier) .reset(new MPIFunctionClassifier{Ctx.getASTContext()}); - } /// Checks if a request is used by nonblocking calls multiple times Index: lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp =================================================================== --- lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp +++ lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp @@ -43,7 +43,8 @@ // double nonblocking detected if (Req && Req->CurrentState == Request::State::Nonblocking) { ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode(); - BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode, Ctx.getBugReporter()); + BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode, + Ctx.getBugReporter()); Ctx.addTransition(ErrorNode->getState(), ErrorNode); } // no error @@ -85,7 +86,8 @@ State = ErrorNode->getState(); } // A wait has no matching nonblocking call. - BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode, Ctx.getBugReporter()); + BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode, + Ctx.getBugReporter()); } } @@ -118,7 +120,8 @@ ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag); State = ErrorNode->getState(); } - BReporter.reportMissingWait(Req.second, Req.first, ErrorNode, Ctx.getBugReporter()); + BReporter.reportMissingWait(Req.second, Req.first, ErrorNode, + Ctx.getBugReporter()); } State = State->remove(Req.first); } Index: lib/StaticAnalyzer/Checkers/MPI-Checker/MPIFunctionClassifier.cpp =================================================================== --- lib/StaticAnalyzer/Checkers/MPI-Checker/MPIFunctionClassifier.cpp +++ lib/StaticAnalyzer/Checkers/MPI-Checker/MPIFunctionClassifier.cpp @@ -12,7 +12,7 @@ /// //===----------------------------------------------------------------------===// -#include "MPIFunctionClassifier.h" +#include "clang/StaticAnalyzer/Checkers/MPIFunctionClassifier.h" #include "llvm/ADT/STLExtras.h" namespace clang { Index: lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h =================================================================== --- lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h +++ lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h @@ -17,7 +17,7 @@ #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPITYPES_H #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPITYPES_H -#include "MPIFunctionClassifier.h" +#include "clang/StaticAnalyzer/Checkers/MPIFunctionClassifier.h" #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" #include "llvm/ADT/SmallSet.h" @@ -53,7 +53,6 @@ } // end of namespace: mpi - template <> struct ProgramStateTrait : public ProgramStatePartialTrait {