clangcms::FiniteMathChecker Class Reference

#include <FiniteMathChecker.h>

Inheritance diagram for clangcms::FiniteMathChecker:

Public Member Functions
void	checkPreStmt (const clang::CallExpr *ref, clang::ento::CheckerContext &C) const

Private Attributes
std::unique_ptr< clang::ento::BugType >	BT

Detailed Description

Definition at line 11 of file FiniteMathChecker.h.

Member Function Documentation

checkPreStmt()

void clangcms::FiniteMathChecker::checkPreStmt	(	const clang::CallExpr *	ref,
		clang::ento::CheckerContext &	C
	)		const

Definition at line 14 of file FiniteMathChecker.cc.

                                                                                                  {
    const clang::ento::ProgramStateRef state = ctx.getState();
    const clang::LocationContext *LC = ctx.getLocationContext();
    const clang::Expr *Callee = CE->getCallee();
    const clang::FunctionDecl *FD = state->getSVal(Callee, LC).getAsFunctionDecl();
 
    if (!FD)
      return;
 
    // Get the name of the callee.
    clang::IdentifierInfo *II = FD->getIdentifier();
    if (!II)  // if no identifier, not a simple C function
      return;
 
    if (!II->isStr("isnan") && !II->isStr("isinf"))
      return;
 
    clang::ento::ExplodedNode *N = ctx.generateErrorNode();
    if (!N)
      return;
 
    if (!BT)
      BT.reset(new clang::ento::BugType(this,
                                        "std::isnan / std::isinf does not work when fast-math is used. Please use "
                                        "edm::isNotFinite from 'FWCore/Utilities/interface/isFinite.h'",
                                        "fastmath plugin"));
 
    std::unique_ptr<clang::ento::BugReport> report = llvm::make_unique<clang::ento::BugReport>(*BT, BT->getName(), N);
    report->addRange(Callee->getSourceRange());
    ctx.emitReport(std::move(report));
  }

References BT, eostools::move(), N, and edmIntegrityCheck::report.

Member Data Documentation

BT

std::unique_ptr<clang::ento::BugType> clangcms::FiniteMathChecker::BT

mutableprivate

Definition at line 12 of file FiniteMathChecker.h.

Referenced by checkPreStmt().