165d6d67fSCarlos Galvez //===--- UseAnonymousNamespaceCheck.cpp - clang-tidy ----------------------===//
265d6d67fSCarlos Galvez //
365d6d67fSCarlos Galvez // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
465d6d67fSCarlos Galvez // See https://llvm.org/LICENSE.txt for license information.
565d6d67fSCarlos Galvez // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
665d6d67fSCarlos Galvez //
765d6d67fSCarlos Galvez //===----------------------------------------------------------------------===//
865d6d67fSCarlos Galvez
965d6d67fSCarlos Galvez #include "UseAnonymousNamespaceCheck.h"
1065d6d67fSCarlos Galvez #include "clang/AST/ASTContext.h"
1165d6d67fSCarlos Galvez #include "clang/ASTMatchers/ASTMatchFinder.h"
1265d6d67fSCarlos Galvez
1365d6d67fSCarlos Galvez using namespace clang::ast_matchers;
1465d6d67fSCarlos Galvez
157d2ea6c4SCarlos Galvez namespace clang::tidy::misc {
1665d6d67fSCarlos Galvez namespace {
AST_POLYMORPHIC_MATCHER_P(isInHeaderFile,AST_POLYMORPHIC_SUPPORTED_TYPES (FunctionDecl,VarDecl),FileExtensionsSet,HeaderFileExtensions)1735d9f873SCarlos Galvez AST_POLYMORPHIC_MATCHER_P(isInHeaderFile,
1835d9f873SCarlos Galvez AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl,
1935d9f873SCarlos Galvez VarDecl),
205b37cddfSCarlos Galvez FileExtensionsSet, HeaderFileExtensions) {
2135d9f873SCarlos Galvez return utils::isExpansionLocInHeaderFile(
2235d9f873SCarlos Galvez Node.getBeginLoc(), Finder->getASTContext().getSourceManager(),
2335d9f873SCarlos Galvez HeaderFileExtensions);
2435d9f873SCarlos Galvez }
2535d9f873SCarlos Galvez
AST_MATCHER(FunctionDecl,isMemberFunction)2665d6d67fSCarlos Galvez AST_MATCHER(FunctionDecl, isMemberFunction) {
2765d6d67fSCarlos Galvez return llvm::isa<CXXMethodDecl>(&Node);
2865d6d67fSCarlos Galvez }
AST_MATCHER(VarDecl,isStaticDataMember)2965d6d67fSCarlos Galvez AST_MATCHER(VarDecl, isStaticDataMember) { return Node.isStaticDataMember(); }
307fd83879SCarlos Galvez } // namespace
3165d6d67fSCarlos Galvez
UseAnonymousNamespaceCheck(StringRef Name,ClangTidyContext * Context)3235d9f873SCarlos Galvez UseAnonymousNamespaceCheck::UseAnonymousNamespaceCheck(
3335d9f873SCarlos Galvez StringRef Name, ClangTidyContext *Context)
34*cc38cd85SCarlos Galvez : ClangTidyCheck(Name, Context),
35*cc38cd85SCarlos Galvez HeaderFileExtensions(Context->getHeaderFileExtensions()) {}
3635d9f873SCarlos Galvez
registerMatchers(MatchFinder * Finder)37d3c3de63SCarlos Galvez void UseAnonymousNamespaceCheck::registerMatchers(MatchFinder *Finder) {
38d3c3de63SCarlos Galvez Finder->addMatcher(
39bf452f9bSCarlos Galvez functionDecl(isStaticStorageClass(),
4035d9f873SCarlos Galvez unless(anyOf(isInHeaderFile(HeaderFileExtensions),
4135d9f873SCarlos Galvez isInAnonymousNamespace(), isMemberFunction())))
42d3c3de63SCarlos Galvez .bind("x"),
43d3c3de63SCarlos Galvez this);
44d3c3de63SCarlos Galvez Finder->addMatcher(
45bf452f9bSCarlos Galvez varDecl(isStaticStorageClass(),
4635d9f873SCarlos Galvez unless(anyOf(isInHeaderFile(HeaderFileExtensions),
4735d9f873SCarlos Galvez isInAnonymousNamespace(), isStaticLocal(),
4835d9f873SCarlos Galvez isStaticDataMember(), hasType(isConstQualified()))))
49d3c3de63SCarlos Galvez .bind("x"),
50d3c3de63SCarlos Galvez this);
51d3c3de63SCarlos Galvez }
52d3c3de63SCarlos Galvez
check(const MatchFinder::MatchResult & Result)53d3c3de63SCarlos Galvez void UseAnonymousNamespaceCheck::check(const MatchFinder::MatchResult &Result) {
54d3c3de63SCarlos Galvez if (const auto *MatchedDecl = Result.Nodes.getNodeAs<NamedDecl>("x")) {
5565d6d67fSCarlos Galvez StringRef Type = llvm::isa<VarDecl>(MatchedDecl) ? "variable" : "function";
5665d6d67fSCarlos Galvez diag(MatchedDecl->getLocation(),
5765d6d67fSCarlos Galvez "%0 %1 declared 'static', move to anonymous namespace instead")
5865d6d67fSCarlos Galvez << Type << MatchedDecl;
5965d6d67fSCarlos Galvez }
6065d6d67fSCarlos Galvez }
6165d6d67fSCarlos Galvez
627d2ea6c4SCarlos Galvez } // namespace clang::tidy::misc
63