StaticAnalyzers/src/FiniteMathChecker.h

0001 #ifndef Utilities_StaticAnalyzers_FastMathChecker_h
0002 #define Utilities_StaticAnalyzers_FastMathChecker_h
0003
0004 #include <clang/StaticAnalyzer/Core/Checker.h>
0005 #include <clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h>
0006 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
0007 #include <clang/StaticAnalyzer/Core/BugReporter/BugType.h>
0008 #include "CmsException.h"
0009
0010 namespace clangcms {
0011   class FiniteMathChecker : public clang::ento::Checker<clang::ento::check::ASTDecl<clang::CXXRecordDecl> > {
0012   public:
0013     void checkASTDecl(const clang::CXXRecordDecl *CRD,
0014                       clang::ento::AnalysisManager &mgr,
0015                       clang::ento::BugReporter &BR) const;
0016   };
0017 }  // namespace clangcms
0018
0019 #endif