clangcms::FiniteMathChecker Class Reference

#include <FiniteMathChecker.h>

Inheritance diagram for clangcms::FiniteMathChecker:

Public Member Functions
void	checkASTDecl (const clang::CXXRecordDecl *CRD, clang::ento::AnalysisManager &mgr, clang::ento::BugReporter &BR) const

Detailed Description

Definition at line 11 of file FiniteMathChecker.h.

Member Function Documentation

checkASTDecl()

void clangcms::FiniteMathChecker::checkASTDecl	(	const clang::CXXRecordDecl *	CRD,
		clang::ento::AnalysisManager &	mgr,
		clang::ento::BugReporter &	BR
	)		const

Definition at line 76 of file FiniteMathChecker.cc.

References Exhume::I, and clangcms::support::isCmsLocalFile().

                                                                       {
    const clang::SourceManager &SM = BR.getSourceManager();
    const char *sfile = SM.getPresumedLoc(RD->getLocation()).getFilename();
    if (!support::isCmsLocalFile(sfile))
      return;

    for (clang::CXXRecordDecl::method_iterator I = RD->method_begin(), E = RD->method_end(); I != E; ++I) {
      clang::CXXMethodDecl *MD = llvm::cast<clang::CXXMethodDecl>((*I)->getMostRecentDecl());
      clang::Stmt *Body = MD->getBody();
      if (Body) {
        FMWalkAST walker(this, BR, mgr.getAnalysisDeclContext(MD), MD);
        walker.Visit(Body);
      }
    }
  }