CMS 3D CMS Logo

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Modules Pages
FiniteMathChecker.h
Go to the documentation of this file.
1 #ifndef Utilities_StaticAnalyzers_FastMathChecker_h
2 #define Utilities_StaticAnalyzers_FastMathChecker_h
3 
4 #include <clang/StaticAnalyzer/Core/Checker.h>
5 #include <clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h>
6 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
7 #include <clang/StaticAnalyzer/Core/BugReporter/BugType.h>
8 #include "CmsException.h"
9 
10 namespace clangcms {
11  class FiniteMathChecker : public clang::ento::Checker<clang::ento::check::ASTDecl<clang::CXXRecordDecl> > {
12  public:
13  void checkASTDecl(const clang::CXXRecordDecl *CRD,
14  clang::ento::AnalysisManager &mgr,
15  clang::ento::BugReporter &BR) const;
16  };
17 } // namespace clangcms
18 
19 #endif
void checkASTDecl(const clang::CXXRecordDecl *CRD, clang::ento::AnalysisManager &mgr, clang::ento::BugReporter &BR) const