6 #ifndef Utilities_StaticAnalyzers_UsingNamespace_h
7 #define Utilities_StaticAnalyzers_UsingNamespace_h
9 #include <clang/StaticAnalyzer/Core/Checker.h>
10 #include <clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h>
11 #include <clang/AST/DeclCXX.h>
12 #include <llvm/Support/raw_ostream.h>
15 class UsingNamespace :
public clang::ento::Checker<clang::ento::check::ASTDecl<clang::UsingDirectiveDecl>,
16 clang::ento::check::ASTDecl<clang::UsingDecl> > {
19 clang::ento::AnalysisManager &Mgr,
20 clang::ento::BugReporter &BR)
const;
21 void checkASTDecl(
const clang::UsingDecl *D, clang::ento::AnalysisManager &Mgr, clang::ento::BugReporter &BR)
const;
24 bool isDeclOK(
const clang::NamedDecl *D, clang::ento::BugReporter &BR)
const;
25 void reportBug(
const char *bug,
const clang::Decl *D, clang::ento::BugReporter &BR)
const;
void reportBug(const char *bug, const clang::Decl *D, clang::ento::BugReporter &BR) const
bool isDeclOK(const clang::NamedDecl *D, clang::ento::BugReporter &BR) const
void checkASTDecl(const clang::UsingDirectiveDecl *D, clang::ento::AnalysisManager &Mgr, clang::ento::BugReporter &BR) const
DecomposeProduct< arg, typename Div::arg > D