#include "clang/AST/Decl.h"
#include "Linkage.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTDiagnostic.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/ASTMutationListener.h"
#include "clang/AST/Attr.h"
#include "clang/AST/CanonicalType.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/DeclarationName.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExternalASTSource.h"
#include "clang/AST/ODRHash.h"
#include "clang/AST/PrettyDeclStackTrace.h"
#include "clang/AST/PrettyPrinter.h"
#include "clang/AST/Randstruct.h"
#include "clang/AST/RecordLayout.h"
#include "clang/AST/Redeclarable.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/TemplateBase.h"
#include "clang/AST/Type.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/IdentifierTable.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/Linkage.h"
#include "clang/Basic/Module.h"
#include "clang/Basic/NoSanitizeList.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/Sanitizers.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/Specifiers.h"
#include "clang/Basic/TargetCXXABI.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Basic/Visibility.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/StringSwitch.h"
#include "llvm/ADT/iterator_range.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/TargetParser/Triple.h"
#include <algorithm>
#include <cassert>
#include <cstddef>
#include <cstring>
#include <optional>
#include <string>
#include <tuple>
#include <type_traits>
#include "clang/AST/DeclNodes.inc"

Macros
#define	DECL(Type, Base)
#define	ABSTRACT_DECL(DECL)

Functions
static bool	hasExplicitVisibilityAlready (LVComputationKind computation)
	Does this computation kind permit us to consider additional visibility settings from attributes and the like?
static LVComputationKind	withExplicitVisibilityAlready (LVComputationKind Kind)
	Given an LVComputationKind, return one of the same type/value sort that records that it already has explicit visibility.
static std::optional< Visibility >	getExplicitVisibility (const NamedDecl *D, LVComputationKind kind)
static bool	usesTypeVisibility (const NamedDecl *D)
	Is the given declaration a "type" or a "value" for the purposes of visibility computation?
template<class T>
static std::enable_if_t<!std::is_base_of_v< RedeclarableTemplateDecl, T >, bool >	isExplicitMemberSpecialization (const T *D)
	Does the given declaration have member specialization information, and if so, is it an explicit specialization?
static bool	isExplicitMemberSpecialization (const RedeclarableTemplateDecl *D)
	For templates, this question is easier: a member template can't be explicitly instantiated, so there's a single bit indicating whether or not this is an explicit member specialization.
template<class T>
static Visibility	getVisibilityFromAttr (const T *attr)
	Given a visibility attribute, return the explicit visibility associated with it.
static std::optional< Visibility >	getVisibilityOf (const NamedDecl *D, NamedDecl::ExplicitVisibilityKind kind)
	Return the explicit visibility of the given declaration.
static const Decl *	getOutermostFuncOrBlockContext (const Decl *D)
static bool	shouldConsiderTemplateVisibility (const FunctionDecl fn, const FunctionTemplateSpecializationInfo specInfo)
static bool	hasDirectVisibilityAttribute (const NamedDecl *D, LVComputationKind computation)
	Does the given declaration have a direct visibility attribute that would match the given rules?
static bool	shouldConsiderTemplateVisibility (const ClassTemplateSpecializationDecl *spec, LVComputationKind computation)
	Should we consider visibility associated with the template arguments and parameters of the given class template specialization?
static bool	shouldConsiderTemplateVisibility (const VarTemplateSpecializationDecl *spec, LVComputationKind computation)
	Should we consider visibility associated with the template arguments and parameters of the given variable template specialization?
static bool	useInlineVisibilityHidden (const NamedDecl *D)
template<typename T>
static bool	isFirstInExternCContext (T *D)
static bool	isSingleLineLanguageLinkage (const Decl &D)
static LinkageInfo	getExternalLinkageFor (const NamedDecl *D)
static StorageClass	getStorageClass (const Decl *D)
static bool	isExportedFromModuleInterfaceUnit (const NamedDecl *D)
static std::optional< Visibility >	getExplicitVisibilityAux (const NamedDecl *ND, NamedDecl::ExplicitVisibilityKind kind, bool IsMostRecent)
template<typename T>
static bool	isRedeclarableImpl (Redeclarable< T > *)
static bool	isRedeclarableImpl (...)
static bool	isRedeclarable (Decl::Kind K)
template<typename DeclT>
static SourceLocation	getTemplateOrInnerLocStart (const DeclT *decl)
static bool	typeIsPostfix (QualType QT)
template<typename T>
static LanguageLinkage	getDeclLanguageLinkage (const T &D)
template<typename T>
static bool	isDeclExternC (const T &D)
template<typename DeclT>
static DeclT *	getDefinitionOrSelf (DeclT *D)
template<std::size_t Len>
static bool	isNamed (const NamedDecl *ND, const char(&Str)[Len])
static bool	redeclForcesDefMSVC (const FunctionDecl *Redecl)
static bool	RedeclForcesDefC99 (const FunctionDecl *Redecl)
static unsigned	getNumModuleIdentifiers (Module *Mod)
	Retrieve the number of module identifiers needed to name the given module.

Macro Definition Documentation

◆ ABSTRACT_DECL

#define ABSTRACT_DECL ( DECL )

◆ DECL

#define DECL	(		Type,
			Base )

Value:

case Decl::Type: \

return isRedeclarableImpl((Type##Decl *)nullptr);

isRedeclarableImpl

static bool isRedeclarableImpl(Redeclarable< T > *)

Definition Decl.cpp:1843

clang::Decl

Decl - This represents one declaration (or definition), e.g.

Definition DeclBase.h:86

clang::Type

The base class of the type hierarchy.

Definition TypeBase.h:1833

Function Documentation

◆ getDeclLanguageLinkage()

template<typename T>

LanguageLinkage getDeclLanguageLinkage ( const T & D )

static

Definition at line 2202 of file Decl.cpp.

References clang::CLanguageLinkage, clang::CXXLanguageLinkage, isFirstInExternCContext(), clang::DeclContext::isRecord(), clang::NoLanguageLinkage, and clang::T.

Referenced by clang::FunctionDecl::getLanguageLinkage(), and clang::VarDecl::getLanguageLinkage().

◆ getDefinitionOrSelf()

template<typename DeclT>

DeclT * getDefinitionOrSelf ( DeclT * D )

static

Definition at line 2691 of file Decl.cpp.

Referenced by clang::LinkageComputer::computeTypeLinkageInfo(), DiagnoseRecursiveConstFields(), clang::FunctionDecl::getTemplateInstantiationPattern(), and clang::VarDecl::getTemplateInstantiationPattern().

◆ getExplicitVisibility()

std::optional< Visibility > getExplicitVisibility	(	const NamedDecl *	D,
		LVComputationKind	kind )

static

Definition at line 171 of file Decl.cpp.

References clang::NamedDecl::getExplicitVisibility().

◆ getExplicitVisibilityAux()

std::optional< Visibility > getExplicitVisibilityAux	(	const NamedDecl *	ND,
		NamedDecl::ExplicitVisibilityKind	kind,
		bool	IsMostRecent )

static

Definition at line 1231 of file Decl.cpp.

References getExplicitVisibilityAux(), clang::CXXRecordDecl::getInstantiatedFromMemberClass(), clang::FunctionDecl::getInstantiatedFromMemberFunction(), clang::VarDecl::getInstantiatedFromStaticDataMember(), clang::NamedDecl::getMostRecentDecl(), clang::VarTemplateSpecializationDecl::getSpecializedTemplate(), clang::VarTemplateDecl::getTemplatedDecl(), clang::FunctionDecl::getTemplateSpecializationInfo(), getVisibilityOf(), clang::isa(), and V.

Referenced by clang::NamedDecl::getExplicitVisibility(), and getExplicitVisibilityAux().

◆ getExternalLinkageFor()

LinkageInfo getExternalLinkageFor ( const NamedDecl * D )

static

Definition at line 586 of file Decl.cpp.

References clang::LinkageInfo::external().

Referenced by clang::LinkageComputer::computeLVForDecl().

◆ getNumModuleIdentifiers()

unsigned getNumModuleIdentifiers ( Module * Mod )

static

Retrieve the number of module identifiers needed to name the given module.

Definition at line 5888 of file Decl.cpp.

References clang::Module::Parent.

Referenced by clang::ImportDecl::getIdentifierLocs().

◆ getOutermostFuncOrBlockContext()

const Decl * getOutermostFuncOrBlockContext ( const Decl * D )

static

Definition at line 302 of file Decl.cpp.

References clang::cast(), clang::Decl::getDeclContext(), clang::DeclContext::getDeclKind(), clang::DeclContext::getParent(), and clang::isa().

◆ getStorageClass()

StorageClass getStorageClass ( const Decl * D )

static

Definition at line 590 of file Decl.cpp.

References clang::SC_None.

◆ getTemplateOrInnerLocStart()

template<typename DeclT>

SourceLocation getTemplateOrInnerLocStart ( const DeclT * decl )

static

Definition at line 1982 of file Decl.cpp.

References clang::ast_matchers::decl.

Referenced by clang::DeclaratorDecl::getOuterLocStart(), and clang::TagDecl::getOuterLocStart().

◆ getVisibilityFromAttr()

template<class T>

Visibility getVisibilityFromAttr ( const T * attr )

static

Given a visibility attribute, return the explicit visibility associated with it.

Definition at line 208 of file Decl.cpp.

References clang::DefaultVisibility, clang::HiddenVisibility, clang::ProtectedVisibility, and clang::T.

Referenced by getVisibilityOf().

◆ getVisibilityOf()

std::optional< Visibility > getVisibilityOf	(	const NamedDecl *	D,
		NamedDecl::ExplicitVisibilityKind	kind )

static

Return the explicit visibility of the given declaration.

Definition at line 222 of file Decl.cpp.

References clang::Decl::getAttr(), getVisibilityFromAttr(), and clang::NamedDecl::VisibilityForType.

Referenced by getExplicitVisibilityAux().

◆ hasDirectVisibilityAttribute()

bool hasDirectVisibilityAttribute	(	const NamedDecl *	D,
		LVComputationKind	computation )

static

Does the given declaration have a direct visibility attribute that would match the given rules?

Definition at line 419 of file Decl.cpp.

References clang::Decl::hasAttr(), clang::LVComputationKind::IgnoreAllVisibility, and clang::LVComputationKind::isTypeVisibility().

Referenced by shouldConsiderTemplateVisibility(), and shouldConsiderTemplateVisibility().

◆ hasExplicitVisibilityAlready()

bool hasExplicitVisibilityAlready ( LVComputationKind computation )

static

Does this computation kind permit us to consider additional visibility settings from attributes and the like?

Definition at line 159 of file Decl.cpp.

References clang::LVComputationKind::IgnoreExplicitVisibility.

Referenced by shouldConsiderTemplateVisibility(), and shouldConsiderTemplateVisibility().

◆ isDeclExternC()

template<typename T>

bool isDeclExternC ( const T & D )

static

Definition at line 2229 of file Decl.cpp.

References clang::CLanguageLinkage, clang::DeclContext::isRecord(), and clang::T.

Referenced by clang::Sema::ActOnFunctionDeclarator(), clang::Sema::ActOnPragmaRedefineExtname(), clang::Sema::ActOnVariableDeclarator(), clang::FunctionDecl::isExternC(), and clang::VarDecl::isExternC().

◆ isExplicitMemberSpecialization() [1/2]

bool isExplicitMemberSpecialization ( const RedeclarableTemplateDecl * D )

static

For templates, this question is easier: a member template can't be explicitly instantiated, so there's a single bit indicating whether or not this is an explicit member specialization.

Definition at line 201 of file Decl.cpp.

References clang::RedeclarableTemplateDecl::isMemberSpecialization().