PsetExistsFCallChecker.h

Go to the documentation of this file.

#ifndef Utilities_StaticAnalyzers_PsetExistsFCallChecker_h
#define Utilities_StaticAnalyzers_PsetExistsFCallChecker_h
#include <clang/AST/DeclCXX.h>
#include <clang/AST/Decl.h>
#include <clang/AST/DeclTemplate.h>
#include <clang/AST/StmtVisitor.h>
#include <clang/AST/ParentMap.h>
#include <clang/Analysis/CFGStmtMap.h>
#include <clang/Analysis/CallGraph.h>
#include <llvm/Support/SaveAndRestore.h>
#include <clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h>
#include <clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h>
#include <clang/StaticAnalyzer/Core/Checker.h>
#include <clang/StaticAnalyzer/Core/BugReporter/BugReporter.h>
#include <clang/StaticAnalyzer/Core/BugReporter/BugType.h>
#include <llvm/ADT/SmallString.h>

#include "CmsException.h"
#include "CmsSupport.h"

namespace clangcms {

  class PsetExistsFCallChecker
      : public clang::ento::Checker<clang::ento::check::ASTDecl<clang::CXXMethodDecl>,
                                    clang::ento::check::ASTDecl<clang::FunctionTemplateDecl> > {
  public:
    void checkASTDecl(const clang::CXXMethodDecl *CMD,
                      clang::ento::AnalysisManager &mgr,
                      clang::ento::BugReporter &BR) const;

    void checkASTDecl(const clang::FunctionTemplateDecl *TD,
                      clang::ento::AnalysisManager &mgr,
                      clang::ento::BugReporter &BR) const;

  private:
    CmsException m_exception;
  };

}  // namespace clangcms
#endif