xref: /llvm-project/clang-tools-extra/clang-tidy/misc/UseAnonymousNamespaceCheck.cpp (revision cc38cd856d9a9df77d5d727377e38a891807774b)
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