StaticAnalyzers/src/MutableMemberChecker.h

0001 //== MutableMemberChecker.h - Checks for mutable members --------------*- C++ -*--==//
0002 //
0003 // by Thomas Hauth [ Thomas.Hauth@cern.ch ]
0004 //
0005 //===----------------------------------------------------------------------===//
0006
0007 #ifndef Utilities_StaticAnalyzers_MutableMemberChecker_h
0008 #define Utilities_StaticAnalyzers_MutableMemberChecker_h
0009
0010 #include <clang/StaticAnalyzer/Core/Checker.h>
0011 #include <clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h>
0012 #include <clang/StaticAnalyzer/Core/BugReporter/BugType.h>
0013 #include "FWCore/Utilities/interface/thread_safety_macros.h"
0014 #include "CmsException.h"
0015 #include "CmsSupport.h"
0016
0017 namespace clangcms {
0018   class MutableMemberChecker : public clang::ento::Checker<clang::ento::check::ASTDecl<clang::FieldDecl> > {
0019   public:
0020     CMS_SA_ALLOW mutable std::unique_ptr<clang::ento::BugType> BT;
0021     void checkASTDecl(const clang::FieldDecl *D, clang::ento::AnalysisManager &Mgr, clang::ento::BugReporter &BR) const;
0022
0023   private:
0024     CmsException m_exception;
0025   };
0026 }  // namespace clangcms
0027
0028 #endif