1 #ifndef Utilities_StaticAnalyzers_FastMathChecker_h
2 #define Utilities_StaticAnalyzers_FastMathChecker_h
4 #include <clang/StaticAnalyzer/Core/Checker.h>
5 #include <clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h>
6 #include <clang/StaticAnalyzer/Core/BugReporter/BugType.h>
11 class FiniteMathChecker :
public clang::ento::Checker<clang::ento::check::PreStmt<clang::CallExpr> > {
12 mutable std::unique_ptr<clang::ento::BugType>
BT;
14 void checkPreStmt(
const clang::CallExpr *ref, clang::ento::CheckerContext &
C)
const;
std::unique_ptr< clang::ento::BugType > BT
void checkPreStmt(const clang::CallExpr *ref, clang::ento::CheckerContext &C) const