StaticAnalyzers/src/PublicMutableChecker.h

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