clang-tools 19.0.0git
UseAnonymousNamespaceCheck.cpp
Go to the documentation of this file.
1//===--- UseAnonymousNamespaceCheck.cpp - clang-tidy ----------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
10#include "clang/AST/ASTContext.h"
11#include "clang/ASTMatchers/ASTMatchFinder.h"
12
13using namespace clang::ast_matchers;
14
15namespace clang::tidy::misc {
16namespace {
17AST_POLYMORPHIC_MATCHER_P(isInHeaderFile,
18 AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl,
19 VarDecl),
20 FileExtensionsSet, HeaderFileExtensions) {
22 Node.getBeginLoc(), Finder->getASTContext().getSourceManager(),
23 HeaderFileExtensions);
24}
25
26AST_MATCHER(FunctionDecl, isMemberFunction) {
27 return llvm::isa<CXXMethodDecl>(&Node);
28}
29AST_MATCHER(VarDecl, isStaticDataMember) { return Node.isStaticDataMember(); }
30} // namespace
31
33 StringRef Name, ClangTidyContext *Context)
34 : ClangTidyCheck(Name, Context),
35 HeaderFileExtensions(Context->getHeaderFileExtensions()) {}
36
38 Finder->addMatcher(
39 functionDecl(isStaticStorageClass(),
40 unless(anyOf(isInHeaderFile(HeaderFileExtensions),
41 isInAnonymousNamespace(), isMemberFunction())))
42 .bind("x"),
43 this);
44 Finder->addMatcher(
45 varDecl(isStaticStorageClass(),
46 unless(anyOf(isInHeaderFile(HeaderFileExtensions),
47 isInAnonymousNamespace(), isStaticLocal(),
48 isStaticDataMember(), hasType(isConstQualified()))))
49 .bind("x"),
50 this);
51}
52
53void UseAnonymousNamespaceCheck::check(const MatchFinder::MatchResult &Result) {
54 if (const auto *MatchedDecl = Result.Nodes.getNodeAs<NamedDecl>("x")) {
55 StringRef Type = llvm::isa<VarDecl>(MatchedDecl) ? "variable" : "function";
56 diag(MatchedDecl->getLocation(),
57 "%0 %1 declared 'static', move to anonymous namespace instead")
58 << Type << MatchedDecl;
59 }
60}
61
62} // namespace clang::tidy::misc
llvm::SmallString< 256U > Name
NodeType Type
::clang::DynTypedNode Node
Base class for all clang-tidy checks.
DiagnosticBuilder diag(SourceLocation Loc, StringRef Description, DiagnosticIDs::Level Level=DiagnosticIDs::Warning)
Add a diagnostic with the check's name.
Every ClangTidyCheck reports errors through a DiagnosticsEngine provided by this context.
void check(const ast_matchers::MatchFinder::MatchResult &Result) override
ClangTidyChecks that register ASTMatchers should do the actual work in here.
void registerMatchers(ast_matchers::MatchFinder *Finder) override
Override this to register AST matchers with Finder.
UseAnonymousNamespaceCheck(StringRef Name, ClangTidyContext *Context)
AST_MATCHER(Decl, declHasNoReturnAttr)
matches a Decl if it has a "no return" attribute of any kind
bool isExpansionLocInHeaderFile(SourceLocation Loc, const SourceManager &SM, const FileExtensionsSet &HeaderFileExtensions)
Checks whether expansion location of Loc is in header file.
llvm::SmallSet< llvm::StringRef, 5 > FileExtensionsSet