CMS 3D CMS Logo

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros 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/BugReporter/BugType.h>
7 
8 #include "CmsException.h"
9 
10 namespace clangcms {
11 class FiniteMathChecker : public clang::ento::Checker<clang::ento::check::PreStmt<clang::CallExpr> > {
12  mutable std::unique_ptr<clang::ento::BugType> BT;
13 public:
14  void checkPreStmt(const clang::CallExpr *ref, clang::ento::CheckerContext &C) const;
15 };
16 }
17 
18 #endif
std::unique_ptr< clang::ento::BugType > BT
void checkPreStmt(const clang::CallExpr *ref, clang::ento::CheckerContext &C) const