Inheritance diagram for clangcms::FMWalkAST:

Public Member Functions
	FMWalkAST (const CheckerBase checker, clang::ento::BugReporter &br, clang::AnalysisDeclContext ac, const NamedDecl *nd)

void	VisitCallExpr (clang::CallExpr *CE)

void	VisitChildren (clang::Stmt *S)

void	VisitStmt (clang::Stmt *S)

Private Attributes
clang::AnalysisDeclContext *	AC

clang::ento::BugReporter &	BR

const CheckerBase *	Checker

const NamedDecl *	ND

Detailed Description

Definition at line 20 of file FiniteMathChecker.cc.

Constructor & Destructor Documentation

◆ FMWalkAST()

clangcms::FMWalkAST::FMWalkAST	(	const CheckerBase *	checker,
		clang::ento::BugReporter &	br,
		clang::AnalysisDeclContext *	ac,
		const NamedDecl *	nd
	)

inline

Definition at line 27 of file FiniteMathChecker.cc.

31 : Checker(checker), BR(br), AC(ac), ND(nd) {}

beamvalidation.br

br

Definition: beamvalidation.py:397

clangcms::FMWalkAST::AC

clang::AnalysisDeclContext * AC

Definition: FiniteMathChecker.cc:23

clangcms::FMWalkAST::ND

const NamedDecl * ND

Definition: FiniteMathChecker.cc:24

clangcms::FMWalkAST::Checker

const CheckerBase * Checker

Definition: FiniteMathChecker.cc:21

clangcms::FMWalkAST::BR

clang::ento::BugReporter & BR

Definition: FiniteMathChecker.cc:22

Member Function Documentation

◆ VisitCallExpr()

void clangcms::FMWalkAST::VisitCallExpr ( clang::CallExpr * CE )

Definition at line 46 of file FiniteMathChecker.cc.

References cms::cuda::assert(), clangcms::support::isInterestingLocation(), eostools::move(), zeeHLT_cff::report, and AlCaHLTBitMon_QueryRunRegistry::string.

                                                  {
     assert(CE);
     const FunctionDecl *FD = CE->getDirectCallee();
     if (!FD)
       return;
 
     const char *sfile = BR.getSourceManager().getPresumedLoc(CE->getExprLoc()).getFilename();
     std::string sname(sfile);
     if (!support::isInterestingLocation(sname))
       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::PathDiagnosticLocation CELoc =
         clang::ento::PathDiagnosticLocation::createBegin(CE, BR.getSourceManager(), AC);
     BugType *BT = new clang::ento::BugType(Checker,
                                            "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::BasicBugReport> report =
         std::make_unique<clang::ento::BasicBugReport>(*BT, BT->getCheckerName(), CELoc);
     BR.emitReport(std::move(report));
   }

◆ VisitChildren()

void clangcms::FMWalkAST::VisitChildren ( clang::Stmt * S )

Definition at line 39 of file FiniteMathChecker.cc.

References Exhume::I.

                                             {
     for (clang::Stmt::child_iterator I = S->child_begin(), E = S->child_end(); I != E; ++I)
       if (clang::Stmt *child = *I) {
         Visit(child);
       }
   }