#include "TypeLocBuilder.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/CommentDiagnostic.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Lex/HeaderSearch.h"
#include "clang/Lex/Lexer.h"
#include "clang/Lex/ModuleLoader.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/CXXFieldCollector.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/DelayedDiagnostic.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/ParsedTemplate.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/Triple.h"
#include <algorithm>
#include <cstring>
#include <functional>

Include dependency graph for SemaDecl.cpp:

Classes
class	ExitFunctionBodyRAII
	RAII object that pops an ExpressionEvaluationContext when exiting a function body. More...

Enumerations
enum	UnqualifiedTypeNameLookupResult

enum	ShadowedDeclKind { SDK_Local, SDK_Global, SDK_StaticMember, SDK_Field, SDK_Typedef, SDK_Using }
	Enum describing the select options in diag::warn_decl_shadow. More...

enum	OverrideErrorKind

enum	OpenCLParamType { ValidKernelParam, PtrPtrKernelParam, PtrKernelParam, InvalidAddrSpacePtrKernelParam, InvalidKernelParam, RecordKernelParam }

Functions
static UnqualifiedTypeNameLookupResult	lookupUnqualifiedTypeNameInBase (Sema &S, const IdentifierInfo &II, SourceLocation NameLoc, const CXXRecordDecl *RD)
	Tries to perform unqualified lookup of the type decls in bases for dependent class. More...

static ParsedType	recoverFromTypeInKnownDependentBase (Sema &S, const IdentifierInfo &II, SourceLocation NameLoc)

static NestedNameSpecifier *	synthesizeCurrentNestedNameSpecifier (ASTContext &Context, DeclContext *DC)

static const CXXRecordDecl *	findRecordWithDependentBasesOfEnclosingMethod (const DeclContext *DC)
	Find the parent class with dependent bases of the innermost enclosing method context. More...

static bool	isResultTypeOrTemplate (LookupResult &R, const Token &NextToken)
	Determine whether the given result set contains either a type name or. More...

static bool	isTagTypeWithMissingTag (Sema &SemaRef, LookupResult &Result, Scope S, CXXScopeSpec &SS, IdentifierInfo &Name, SourceLocation NameLoc)

static ParsedType	buildNestedType (Sema &S, CXXScopeSpec &SS, QualType T, SourceLocation NameLoc)
	Build a ParsedType for a simple-type-specifier with a nested-name-specifier. More...

static bool	AllowOverloadingOfFunction (LookupResult &Previous, ASTContext &Context, const FunctionDecl *New)
	Determine whether we allow overloading of the function PrevDecl with another declaration. More...

static bool	isOutOfScopePreviousDeclaration (NamedDecl PrevDecl, DeclContext DC, ASTContext &Context)
	Determines whether the given declaration is an out-of-scope previous declaration. More...

static bool	isUsingDecl (NamedDecl *D)

static void	RemoveUsingDecls (LookupResult &R)
	Removes using shadow declarations from the lookup results. More...

static bool	IsDisallowedCopyOrAssign (const CXXMethodDecl *D)
	Check for this common pattern: More...

static bool	isMainFileLoc (const Sema &S, SourceLocation Loc)

static bool	ShouldDiagnoseUnusedDecl (const NamedDecl *D)

static void	GenerateFixForUnusedDecl (const NamedDecl *D, ASTContext &Ctx, FixItHint &Hint)

static void	CheckPoppedLabel (LabelDecl *L, Sema &S)

static void	LookupPredefedObjCSuperType (Sema &ThisSema, Scope S, IdentifierInfo II)
	Looks up the declaration of "struct objc_super" and saves it for later use in building builtin declaration of objc_msgSendSuper and objc_msgSendSuper_stret. More...

static StringRef	getHeaderName (Builtin::Context &BuiltinInfo, unsigned ID, ASTContext::GetBuiltinTypeError Error)

static void	filterNonConflictingPreviousTypedefDecls (Sema &S, TypedefNameDecl *Decl, LookupResult &Previous)
	Typedef declarations don't have linkage, but they still denote the same entity if their types are the same. More...

static bool	DeclHasAttr (const Decl D, const Attr A)
	DeclhasAttr - returns true if decl Declaration already has the target attribute. More...

static bool	isAttributeTargetADefinition (Decl *D)

static bool	mergeAlignedAttrs (Sema &S, NamedDecl New, Decl Old)
	Merge alignment attributes from `Old` to `New`, taking into account the special semantics of C11's _Alignas specifier and C++11's alignas attribute. More...

static bool	mergeDeclAttribute (Sema &S, NamedDecl D, const InheritableAttr Attr, Sema::AvailabilityMergeKind AMK)

static const NamedDecl *	getDefinition (const Decl *D)

static bool	hasAttribute (const Decl *D, attr::Kind Kind)

static void	checkNewAttributesAfterDef (Sema &S, Decl New, const Decl Old)
	checkNewAttributesAfterDef - If we already have a definition, check that there are no new attributes in this declaration. More...

static void	mergeParamDeclAttributes (ParmVarDecl newDecl, const ParmVarDecl oldDecl, Sema &S)
	mergeParamDeclAttributes - Copy attributes from the old parameter to the new one. More...

static void	mergeParamDeclTypes (ParmVarDecl NewParam, const ParmVarDecl OldParam, Sema &S)

template<typename T >
static std::pair< diag::kind, SourceLocation >	getNoteDiagForInvalidRedeclaration (const T Old, const T New)

static bool	canRedefineFunction (const FunctionDecl *FD, const LangOptions &LangOpts)
	canRedefineFunction - checks if a function can be redefined. More...

template<typename T >
static bool	haveIncompatibleLanguageLinkages (const T Old, const T New)

template<typename T >
static bool	isExternC (T *D)

static bool	isExternC (VarTemplateDecl *)

template<typename ExpectedDecl >
static bool	checkUsingShadowRedecl (Sema &S, UsingShadowDecl OldS, ExpectedDecl New)
	Check whether a redeclaration of an entity introduced by a using-declaration is valid, given that we know it's not an overload (nor a hidden tag declaration). More...

static bool	hasIdenticalPassObjectSizeAttrs (const FunctionDecl A, const FunctionDecl B)

static void	adjustDeclContextForDeclaratorDecl (DeclaratorDecl NewD, DeclaratorDecl OldD)
	If necessary, adjust the semantic declaration context for a qualified declaration to name the correct inline namespace within the qualifier. More...

static void	diagnoseVarDeclTypeMismatch (Sema &S, VarDecl New, VarDecl Old)

static bool	mergeTypeWithPrevious (Sema &S, VarDecl NewVD, VarDecl OldVD, LookupResult &Previous)

static unsigned	getMSManglingNumber (const LangOptions &LO, Scope *S)

static unsigned	GetDiagnosticTypeSpecifierID (DeclSpec::TST T)

static bool	CheckAnonMemberRedeclaration (Sema &SemaRef, Scope S, DeclContext Owner, DeclarationName Name, SourceLocation NameLoc, bool IsUnion)
	We are trying to inject an anonymous member into the given scope; check if there's an existing declaration that can't be overloaded. More...

static bool	InjectAnonymousStructOrUnionMembers (Sema &SemaRef, Scope S, DeclContext Owner, RecordDecl AnonRecord, AccessSpecifier AS, SmallVectorImpl< NamedDecl > &Chaining)
	InjectAnonymousStructOrUnionMembers - Inject the members of the anonymous struct or union AnonRecord into the owning context Owner and scope S. More...

static StorageClass	StorageClassSpecToVarDeclStorageClass (const DeclSpec &DS)
	StorageClassSpecToVarDeclStorageClass - Maps a DeclSpec::SCS to a VarDecl::StorageClass. More...

static SourceLocation	findDefaultInitializer (const CXXRecordDecl *Record)

static void	checkDuplicateDefaultInit (Sema &S, CXXRecordDecl *Parent, SourceLocation DefaultInitLoc)

static void	checkDuplicateDefaultInit (Sema &S, CXXRecordDecl Parent, CXXRecordDecl AnonUnion)

static QualType	getCoreType (QualType Ty)

static bool	hasSimilarParameters (ASTContext &Context, FunctionDecl Declaration, FunctionDecl Definition, SmallVectorImpl< unsigned > &Params)
	hasSimilarParameters - Determine whether the C++ functions Declaration and Definition have "nearly" matching parameters. More...

static bool	RebuildDeclaratorInCurrentInstantiation (Sema &S, Declarator &D, DeclarationName Name)
	NeedsRebuildingInCurrentInstantiation - Checks whether the given declarator needs to be rebuilt in the current instantiation. More...

static QualType	TryToFixInvalidVariablyModifiedType (QualType T, ASTContext &Context, bool &SizeIsNegative, llvm::APSInt &Oversized)
	Helper method to turn variable array types into constant array types in certain situations which would otherwise be errors (for GCC compatibility). More...

static void	FixInvalidVariablyModifiedTypeLoc (TypeLoc SrcTL, TypeLoc DstTL)

static TypeSourceInfo *	TryToFixInvalidVariablyModifiedTypeSourceInfo (TypeSourceInfo *TInfo, ASTContext &Context, bool &SizeIsNegative, llvm::APSInt &Oversized)
	Helper method to turn variable array types into constant array types in certain situations which would otherwise be errors (for GCC compatibility). More...

static void	SetNestedNameSpecifier (Sema &S, DeclaratorDecl *DD, Declarator &D)

static void	checkAttributesAfterMerging (Sema &S, NamedDecl &ND)

static void	checkDLLAttributeRedeclaration (Sema &S, NamedDecl OldDecl, NamedDecl NewDecl, bool IsSpecialization, bool IsDefinition)

static bool	isFunctionDefinitionDiscarded (Sema &S, FunctionDecl *FD)
	Given that we are within the definition of the given function, will that definition behave like C99's 'inline', where the definition is discarded except for optimization purposes? More...

template<typename T >
static bool	isIncompleteDeclExternC (Sema &S, const T *D)
	Determine whether a variable is extern "C" prior to attaching an initializer. More...

static bool	shouldConsiderLinkage (const VarDecl *VD)

static bool	shouldConsiderLinkage (const FunctionDecl *FD)

static bool	hasParsedAttr (Scope *S, const Declarator &PD, ParsedAttr::Kind Kind)

static bool	isDeclExternC (const Decl *D)
	Returns true if given declaration has external C language linkage. More...

static ShadowedDeclKind	computeShadowedDeclKind (const NamedDecl ShadowedDecl, const DeclContext OldDC)
	Determine what kind of declaration we're shadowing. More...

static SourceLocation	getCaptureLocation (const LambdaScopeInfo LSI, const VarDecl VD)
	Return the location of the capture if the given lambda captures the given variable `VD`, or an invalid source location otherwise. More...

static bool	shouldWarnIfShadowedDecl (const DiagnosticsEngine &Diags, const LookupResult &R)

template<typename T >
static bool	checkGlobalOrExternCConflict (Sema &S, const T *ND, bool IsGlobal, LookupResult &Previous)
	Check for conflict between this global or extern "C" declaration and previous global or extern "C" declarations. More...

template<typename T >
static bool	checkForConflictWithNonVisibleExternC (Sema &S, const T *ND, LookupResult &Previous)
	Apply special rules for handling extern "C" declarations. More...

static void	ReportOverrides (Sema &S, unsigned DiagID, const CXXMethodDecl *MD, OverrideErrorKind OEK=OEK_All)
	Report an error regarding overriding, along with any relevant overridden methods. More...

static NamedDecl *	DiagnoseInvalidRedeclaration (Sema &SemaRef, LookupResult &Previous, FunctionDecl NewFD, ActOnFDArgs &ExtraArgs, bool IsLocalFriend, Scope S)
	Generate diagnostics for an invalid function redeclaration. More...

static StorageClass	getFunctionStorageClass (Sema &SemaRef, Declarator &D)

static FunctionDecl *	CreateNewFunctionDecl (Sema &SemaRef, Declarator &D, DeclContext DC, QualType &R, TypeSourceInfo TInfo, StorageClass SC, bool &IsVirtualOkay)

static bool	isOpenCLSizeDependentType (ASTContext &C, QualType Ty)

static OpenCLParamType	getOpenCLKernelParameterType (Sema &S, QualType PT)

static void	checkIsValidOpenCLKernelParameter (Sema &S, Declarator &D, ParmVarDecl Param, llvm::SmallPtrSetImpl< const Type > &ValidTypes)

static DeclContext *	getTagInjectionContext (DeclContext *DC)
	Find the DeclContext in which a tag is implicitly declared if we see an elaborated type specifier in the specified context, and lookup finds nothing. More...

static Scope *	getTagInjectionScope (Scope *S, const LangOptions &LangOpts)
	Find the Scope in which a tag is implicitly declared if we see an elaborated type specifier in the specified context, and lookup finds nothing. More...

static Attr *	getImplicitCodeSegAttrFromClass (Sema &S, const FunctionDecl *FD)
	Return a CodeSegAttr from a containing class. More...

static bool	CheckMultiVersionValue (Sema &S, const FunctionDecl *FD)
	Check the target attribute of the function for MultiVersion validity. More...

static bool	HasNonMultiVersionAttributes (const FunctionDecl *FD, MultiVersionKind MVType)

static bool	CheckMultiVersionAdditionalRules (Sema &S, const FunctionDecl OldFD, const FunctionDecl NewFD, bool CausesMV, MultiVersionKind MVType)

static bool	CheckMultiVersionFirstFunction (Sema &S, FunctionDecl FD, MultiVersionKind MVType, const TargetAttr TA, const CPUDispatchAttr CPUDisp, const CPUSpecificAttr CPUSpec)
	Check the validity of a multiversion function declaration that is the first of its kind. More...

static bool	PreviousDeclsHaveMultiVersionAttribute (const FunctionDecl *FD)

static bool	CheckTargetCausesMultiVersioning (Sema &S, FunctionDecl OldFD, FunctionDecl NewFD, const TargetAttr NewTA, bool &Redeclaration, NamedDecl &OldDecl, bool &MergeTypeWithPrevious, LookupResult &Previous)

static bool	CheckMultiVersionAdditionalDecl (Sema &S, FunctionDecl OldFD, FunctionDecl NewFD, MultiVersionKind NewMVType, const TargetAttr NewTA, const CPUDispatchAttr NewCPUDisp, const CPUSpecificAttr NewCPUSpec, bool &Redeclaration, NamedDecl &OldDecl, bool &MergeTypeWithPrevious, LookupResult &Previous)
	Check the validity of a new function declaration being added to an existing multiversioned declaration collection. More...

static bool	CheckMultiVersionFunction (Sema &S, FunctionDecl NewFD, bool &Redeclaration, NamedDecl &OldDecl, bool &MergeTypeWithPrevious, LookupResult &Previous)
	Check the validity of a mulitversion function declaration. More...

static bool	hasDependentAlignment (VarDecl *VD)
	Determines if a variable's alignment is dependent. More...

static bool	hasDeducedAuto (DeclaratorDecl *DD)

static bool	ShouldWarnAboutMissingPrototype (const FunctionDecl FD, const FunctionDecl &PossibleZeroParamPrototype)

static void	RebuildLambdaScopeInfo (CXXMethodDecl *CallOperator, Sema &S)

static unsigned	getRedeclDiagFromTagKind (TagTypeKind Tag)
	Get diagnostic select index for tag kind for redeclaration diagnostic message. More...

static bool	isClassCompatTagKind (TagTypeKind Tag)
	Determine if tag kind is a class-key compatible with class for redeclaration (class, struct, or __interface). More...

***static FixItHint	createFriendTagNNSFixIt (Sema &SemaRef, NamedDecl ND, Scope S, SourceLocation NameLoc)

static bool	isAcceptableTagRedeclContext (Sema &S, DeclContext OldDC, DeclContext NewDC)
	Determine whether a tag originally declared in context `OldDC` can be redeclared with an unqualified name in `NewDC` (assuming name lookup found a declaration in `OldDC` as a previous decl, perhaps through a using-declaration). More...

static ObjCIvarDecl::AccessControl	TranslateIvarVisibility (tok::ObjCKeywordKind ivarVisibility)
	TranslateIvarVisibility - Translate visibility from a token ID to an AST enum value. More...

static bool	isRepresentableIntegerValue (ASTContext &Context, llvm::APSInt &Value, QualType T)
	Determine whether the given integral value is representable within the given type T. More...

static QualType	getNextLargerIntegralType (ASTContext &Context, QualType T)

static bool	ValidDuplicateEnum (EnumConstantDecl ECD, EnumDecl Enum)

static void	CheckForDuplicateEnumValues (Sema &S, ArrayRef< Decl > Elements, EnumDecl Enum, QualType EnumType)

static void	checkModuleImportContext (Sema &S, Module M, SourceLocation ImportLoc, DeclContext DC, bool FromInclude=false)

Variables
	X
	Add a minimal nested name specifier fixit hint to allow lookup of a tag name from an outer enclosing namespace or file scope inside a friend declaration. More...

Enumeration Type Documentation

◆ OpenCLParamType

enum OpenCLParamType

Enumerator
ValidKernelParam
PtrPtrKernelParam
PtrKernelParam
InvalidAddrSpacePtrKernelParam
InvalidKernelParam
RecordKernelParam

Definition at line 8033 of file SemaDecl.cpp.

◆ OverrideErrorKind

enum OverrideErrorKind

Definition at line 7588 of file SemaDecl.cpp.

◆ ShadowedDeclKind

enum ShadowedDeclKind

Enum describing the select options in diag::warn_decl_shadow.

Enumerator
SDK_Local
SDK_Global
SDK_StaticMember
SDK_Field
SDK_Typedef
SDK_Using

Definition at line 6933 of file SemaDecl.cpp.

◆ UnqualifiedTypeNameLookupResult

enum UnqualifiedTypeNameLookupResult

strong

Definition at line 161 of file SemaDecl.cpp.

Function Documentation

◆ adjustDeclContextForDeclaratorDecl()

static void adjustDeclContextForDeclaratorDecl	(	DeclaratorDecl *	NewD,
		DeclaratorDecl *	OldD
	)

static

If necessary, adjust the semantic declaration context for a qualified declaration to name the correct inline namespace within the qualifier.

Definition at line 2942 of file SemaDecl.cpp.

References clang::Decl::getDeclContext(), clang::Decl::getLexicalDeclContext(), clang::DeclaratorDecl::getQualifier(), clang::DeclContext::getRedeclContext(), clang::Decl::isInvalidDecl(), clang::Decl::setDeclContext(), and clang::Decl::setLexicalDeclContext().

Referenced by clang::Sema::MergeVarDecl().

◆ AllowOverloadingOfFunction()

static bool AllowOverloadingOfFunction	(	LookupResult &	Previous,
		ASTContext &	Context,
		const FunctionDecl *	New
	)

static

Determine whether we allow overloading of the function PrevDecl with another declaration.

This routine determines whether overloading is possible, not whether some new function is actually an overload. It will return true in C++ (where we can always provide overloads) or, as an extension, in C when the previous function is already an overloaded function declaration or has the "overloadable" attribute.

Definition at line 1326 of file SemaDecl.cpp.

◆ buildNestedType()

static ParsedType buildNestedType	(	Sema &	S,
		CXXScopeSpec &	SS,
		QualType	T,
		SourceLocation	NameLoc
	)

static

Build a ParsedType for a simple-type-specifier with a nested-name-specifier.

Definition at line 829 of file SemaDecl.cpp.

◆ canRedefineFunction()

static bool canRedefineFunction	(	const FunctionDecl *	FD,
		const LangOptions &	LangOpts
	)

static

canRedefineFunction - checks if a function can be redefined.

Currently, only extern inline functions can be redefined, and even then only in GNU89 mode.

Definition at line 2854 of file SemaDecl.cpp.

References clang::FunctionDecl::getStorageClass(), clang::Decl::hasAttr(), clang::FunctionDecl::isInlineSpecified(), and clang::SC_Extern.

Referenced by clang::Sema::CheckForFunctionRedefinition().

◆ CheckAnonMemberRedeclaration()

static bool CheckAnonMemberRedeclaration	(	Sema &	SemaRef,
		Scope *	S,
		DeclContext *	Owner,
		DeclarationName	Name,
		SourceLocation	NameLoc,
		bool	IsUnion
	)

static

We are trying to inject an anonymous member into the given scope; check if there's an existing declaration that can't be overloaded.

Returns: true if this is a forbidden redeclaration

Definition at line 4469 of file SemaDecl.cpp.

◆ checkAttributesAfterMerging()

static void checkAttributesAfterMerging	(	Sema &	S,
		NamedDecl &	ND
	)

static

Definition at line 5921 of file SemaDecl.cpp.

◆ checkDLLAttributeRedeclaration()

static void checkDLLAttributeRedeclaration	(	Sema &	S,
		NamedDecl *	OldDecl,
		NamedDecl *	NewDecl,
		bool	IsSpecialization,
		bool	IsDefinition
	)

static

Definition at line 6009 of file SemaDecl.cpp.

◆ checkDuplicateDefaultInit() [1/2]

static void checkDuplicateDefaultInit	(	Sema &	S,
		CXXRecordDecl *	Parent,
		SourceLocation	DefaultInitLoc
	)

static

Definition at line 4607 of file SemaDecl.cpp.

◆ checkDuplicateDefaultInit() [2/2]

static void checkDuplicateDefaultInit	(	Sema &	S,
		CXXRecordDecl *	Parent,
		CXXRecordDecl *	AnonUnion
	)

static

Definition at line 4616 of file SemaDecl.cpp.

◆ checkForConflictWithNonVisibleExternC()

template<typename T >

static bool checkForConflictWithNonVisibleExternC	(	Sema &	S,
		const T *	ND,
		LookupResult &	Previous
	)

static

Apply special rules for handling extern "C" declarations.

Returns true if we have found that this is a redeclaration of some prior entity.

Per C++ [dcl.link]p6: Two declarations [for a function or variable] with C language linkage with the same name that appear in different scopes refer to the same [entity]. An entity with C language linkage shall not be declared with the same name as an entity in global scope.

Definition at line 7261 of file SemaDecl.cpp.

Referenced by clang::Sema::CheckVariableDeclaration().

◆ CheckForDuplicateEnumValues()

static void CheckForDuplicateEnumValues	(	Sema &	S,
		ArrayRef< Decl *>	Elements,
		EnumDecl *	Enum,
		QualType	EnumType
	)

static

Definition at line 16549 of file SemaDecl.cpp.

◆ checkGlobalOrExternCConflict()

template<typename T >

static bool checkGlobalOrExternCConflict	(	Sema &	S,
		const T *	ND,
		bool	IsGlobal,
		LookupResult &	Previous
	)

static

Check for conflict between this global or extern "C" declaration and previous global or extern "C" declarations.

This is only used in C++.

Definition at line 7178 of file SemaDecl.cpp.

◆ checkIsValidOpenCLKernelParameter()

static void checkIsValidOpenCLKernelParameter	(	Sema &	S,
		Declarator &	D,
		ParmVarDecl *	Param,
		llvm::SmallPtrSetImpl< const Type *> &	ValidTypes
	)

static

Definition at line 8112 of file SemaDecl.cpp.

◆ checkModuleImportContext()

static void checkModuleImportContext	(	Sema &	S,
		Module *	M,
		SourceLocation	ImportLoc,
		DeclContext *	DC,
		bool	FromInclude = `false`
	)

static

Definition at line 16934 of file SemaDecl.cpp.

Referenced by clang::Sema::ActOnModuleBegin(), clang::Sema::ActOnModuleImport(), and clang::Sema::ActOnModuleInclude().

◆ CheckMultiVersionAdditionalDecl()

static bool CheckMultiVersionAdditionalDecl	(	Sema &	S,
		FunctionDecl *	OldFD,
		FunctionDecl *	NewFD,
		MultiVersionKind	NewMVType,
		const TargetAttr *	NewTA,
		const CPUDispatchAttr *	NewCPUDisp,
		const CPUSpecificAttr *	NewCPUSpec,
		bool &	Redeclaration,
		NamedDecl *&	OldDecl,
		bool &	MergeTypeWithPrevious,
		LookupResult &	Previous
	)

static

Check the validity of a new function declaration being added to an existing multiversioned declaration collection.

Definition at line 9705 of file SemaDecl.cpp.

◆ CheckMultiVersionAdditionalRules()

static bool CheckMultiVersionAdditionalRules	(	Sema &	S,
		const FunctionDecl *	OldFD,
		const FunctionDecl *	NewFD,
		bool	CausesMV,
		MultiVersionKind	MVType
	)

static

Definition at line 9436 of file SemaDecl.cpp.

◆ CheckMultiVersionFirstFunction()

static bool CheckMultiVersionFirstFunction	(	Sema &	S,
		FunctionDecl *	FD,
		MultiVersionKind	MVType,
		const TargetAttr *	TA,
		const CPUDispatchAttr *	CPUDisp,
		const CPUSpecificAttr *	CPUSpec
	)

static

Check the validity of a multiversion function declaration that is the first of its kind.

Also sets the multiversion'ness' of the function itself.

This sets NewFD->isInvalidDecl() to true if there was an error.

Returns true if there was an error, false otherwise.

Definition at line 9585 of file SemaDecl.cpp.

◆ CheckMultiVersionFunction()

static bool CheckMultiVersionFunction	(	Sema &	S,
		FunctionDecl *	NewFD,
		bool &	Redeclaration,
		NamedDecl *&	OldDecl,
		bool &	MergeTypeWithPrevious,
		LookupResult &	Previous
	)

static

Check the validity of a mulitversion function declaration.

Also sets the multiversion'ness' of the function itself.

This sets NewFD->isInvalidDecl() to true if there was an error.

Returns true if there was an error, false otherwise.

Definition at line 9858 of file SemaDecl.cpp.

◆ CheckMultiVersionValue()

static bool CheckMultiVersionValue	(	Sema &	S,
		const FunctionDecl *	FD
	)

static

Check the target attribute of the function for MultiVersion validity.

Returns true if there was an error, false otherwise.

Definition at line 9383 of file SemaDecl.cpp.

◆ checkNewAttributesAfterDef()

static void checkNewAttributesAfterDef	(	Sema &	S,
		Decl *	New,
		const Decl *	Old
	)

static

checkNewAttributesAfterDef - If we already have a definition, check that there are no new attributes in this declaration.

Definition at line 2534 of file SemaDecl.cpp.

◆ CheckPoppedLabel()

static void CheckPoppedLabel	(	LabelDecl *	L,
		Sema &	S
	)

static

Definition at line 1786 of file SemaDecl.cpp.

◆ CheckTargetCausesMultiVersioning()

static bool CheckTargetCausesMultiVersioning	(	Sema &	S,
		FunctionDecl *	OldFD,
		FunctionDecl *	NewFD,
		const TargetAttr *	NewTA,
		bool &	Redeclaration,
		NamedDecl *&	OldDecl,
		bool &	MergeTypeWithPrevious,
		LookupResult &	Previous
	)

static

Definition at line 9621 of file SemaDecl.cpp.

◆ checkUsingShadowRedecl()

template<typename ExpectedDecl >

static bool checkUsingShadowRedecl	(	Sema &	S,
		UsingShadowDecl *	OldS,
		ExpectedDecl *	New
	)

static

Check whether a redeclaration of an entity introduced by a using-declaration is valid, given that we know it's not an overload (nor a hidden tag declaration).

Definition at line 2890 of file SemaDecl.cpp.

◆ computeShadowedDeclKind()

static ShadowedDeclKind computeShadowedDeclKind	(	const NamedDecl *	ShadowedDecl,
		const DeclContext *	OldDC
	)

static

Determine what kind of declaration we're shadowing.

Definition at line 6943 of file SemaDecl.cpp.

References clang::DeclContext::isFileContext(), SDK_Field, SDK_Global, SDK_Local, SDK_StaticMember, SDK_Typedef, and SDK_Using.

Referenced by clang::Sema::DiagnoseShadowingLambdaDecls().

◆ createFriendTagNNSFixIt()

* * * static FixItHint createFriendTagNNSFixIt	(	Sema &	SemaRef,
		NamedDecl *	ND,
		Scope *	S,
		SourceLocation	NameLoc
	)

static

Definition at line 13977 of file SemaDecl.cpp.

◆ CreateNewFunctionDecl()

static FunctionDecl* CreateNewFunctionDecl	(	Sema &	SemaRef,
		Declarator &	D,
		DeclContext *	DC,
		QualType &	R,
		TypeSourceInfo *	TInfo,
		StorageClass	SC,
		bool &	IsVirtualOkay
	)

static

Definition at line 7896 of file SemaDecl.cpp.

References clang::Sema::GetNameForDeclarator().

◆ DeclHasAttr()

static bool DeclHasAttr	(	const Decl *	D,
		const Attr *	A
	)

static

DeclhasAttr - returns true if decl Declaration already has the target attribute.

Definition at line 2282 of file SemaDecl.cpp.

References clang::Decl::attrs(), and clang::Attr::getKind().

◆ DiagnoseInvalidRedeclaration()

static NamedDecl* DiagnoseInvalidRedeclaration	(	Sema &	SemaRef,
		LookupResult &	Previous,
		FunctionDecl *	NewFD,
		ActOnFDArgs &	ExtraArgs,
		bool	IsLocalFriend,
		Scope *	S
	)

static

Generate diagnostics for an invalid function redeclaration.

This routine handles generating the diagnostic messages for an invalid function redeclaration, including finding possible similar declarations or performing typo correction if there are no previous declarations with the same name.

Returns a NamedDecl iff typo correction was performed and substituting in the new declaration name does not cause new errors.

Definition at line 7716 of file SemaDecl.cpp.

◆ diagnoseVarDeclTypeMismatch()

static void diagnoseVarDeclTypeMismatch	(	Sema &	S,
		VarDecl *	New,
		VarDecl *	Old
	)

static

Definition at line 3639 of file SemaDecl.cpp.

◆ filterNonConflictingPreviousTypedefDecls()

static void filterNonConflictingPreviousTypedefDecls	(	Sema &	S,
		TypedefNameDecl *	Decl,
		LookupResult &	Previous
	)

static

Typedef declarations don't have linkage, but they still denote the same entity if their types are the same.

FIXME: This is notionally doing the same thing as ASTReaderDecl's isSameEntity.

Definition at line 2031 of file SemaDecl.cpp.

◆ findDefaultInitializer()

static SourceLocation findDefaultInitializer ( const CXXRecordDecl * Record )

static

Definition at line 4593 of file SemaDecl.cpp.

References clang::DeclContext::decls(), clang::Decl::getLocation(), and clang::CXXRecordDecl::hasInClassInitializer().

◆ findRecordWithDependentBasesOfEnclosingMethod()

static const CXXRecordDecl* findRecordWithDependentBasesOfEnclosingMethod ( const DeclContext * DC )

static

Find the parent class with dependent bases of the innermost enclosing method context.

Do not look for enclosing CXXRecordDecls directly, or we will end up allowing unqualified dependent type names at class-level, which MSVC correctly rejects.

Definition at line 541 of file SemaDecl.cpp.

References clang::DeclContext::getLookupParent(), clang::DeclContext::getParent(), clang::DeclContext::getPrimaryContext(), and clang::DeclContext::isDependentContext().

◆ FixInvalidVariablyModifiedTypeLoc()

static void FixInvalidVariablyModifiedTypeLoc	(	TypeLoc	SrcTL,
		TypeLoc	DstTL
	)

static

Definition at line 5603 of file SemaDecl.cpp.

References clang::TypeLoc::castAs(), clang::TypeLoc::getAs(), clang::ArrayTypeLoc::getElementLoc(), clang::ParenTypeLoc::getInnerLoc(), clang::ArrayTypeLoc::getLBracketLoc(), clang::PointerLikeTypeLoc< Derived, TypeClass, LocalData >::getPointeeLoc(), clang::ArrayTypeLoc::getRBracketLoc(), clang::ArrayTypeLoc::getSizeExpr(), clang::TypeLoc::getUnqualifiedLoc(), clang::TypeLoc::initializeFullCopy(), clang::ParenTypeLoc::setLParenLoc(), clang::ParenTypeLoc::setRParenLoc(), and clang::PointerTypeLoc::setStarLoc().

◆ GenerateFixForUnusedDecl()

static void GenerateFixForUnusedDecl	(	const NamedDecl *	D,
		ASTContext &	Ctx,
		FixItHint &	Hint
	)

static

Definition at line 1734 of file SemaDecl.cpp.

References clang::FixItHint::CreateRemoval(), clang::Lexer::findLocationAfterToken(), clang::Decl::getBeginLoc(), clang::CharSourceRange::getCharRange(), clang::Decl::getEndLoc(), clang::ASTContext::getLangOpts(), clang::ASTContext::getSourceManager(), and clang::SourceLocation::isInvalid().

Referenced by clang::Sema::DiagnoseUnusedDecl().

◆ getCaptureLocation()

static SourceLocation getCaptureLocation	(	const LambdaScopeInfo *	LSI,
		const VarDecl *	VD
	)

static

Return the location of the capture if the given lambda captures the given variable VD, or an invalid source location otherwise.

Definition at line 6957 of file SemaDecl.cpp.

References clang::sema::CapturingScopeInfo::Captures, clang::sema::Capture::getLocation(), clang::sema::Capture::getVariable(), and clang::sema::Capture::isVariableCapture().

Referenced by clang::Sema::CheckShadow(), and clang::Sema::DiagnoseShadowingLambdaDecls().

◆ getCoreType()

static QualType getCoreType ( QualType Ty )

static

Definition at line 5060 of file SemaDecl.cpp.

References clang::Type::castAsArrayTypeUnsafe(), clang::ArrayType::getElementType(), clang::Type::getPointeeType(), clang::Type::isArrayType(), clang::Type::isPointerType(), clang::Type::isReferenceType(), and clang::QualType::withoutLocalFastQualifiers().

◆ getDefinition()

static const NamedDecl* getDefinition ( const Decl * D )

static

Definition at line 2511 of file SemaDecl.cpp.

References clang::VarDecl::getActingDefinition(), and clang::VarDecl::getDefinition().

◆ GetDiagnosticTypeSpecifierID()

static unsigned GetDiagnosticTypeSpecifierID ( DeclSpec::TST T )

static

Definition at line 4193 of file SemaDecl.cpp.

References clang::DeclSpec::TST_class, clang::DeclSpec::TST_enum, clang::DeclSpec::TST_interface, clang::DeclSpec::TST_struct, and clang::DeclSpec::TST_union.

◆ getFunctionStorageClass()

static StorageClass getFunctionStorageClass	(	Sema &	SemaRef,
		Declarator &	D
	)

static

◆ getHeaderName()

static StringRef getHeaderName	(	Builtin::Context &	BuiltinInfo,
		unsigned	ID,
		ASTContext::GetBuiltinTypeError	Error
	)

static

Definition at line 1929 of file SemaDecl.cpp.

References clang::ASTContext::GE_Missing_setjmp, clang::ASTContext::GE_Missing_stdio, clang::ASTContext::GE_Missing_type, clang::ASTContext::GE_Missing_ucontext, clang::ASTContext::GE_None, and clang::Builtin::Context::getHeaderName().

◆ getImplicitCodeSegAttrFromClass()

static Attr* getImplicitCodeSegAttrFromClass	(	Sema &	S,
		const FunctionDecl *	FD
	)

static

Return a CodeSegAttr from a containing class.

The Microsoft docs say when __declspec(code_seg) "is applied to a class, all member functions of the class and nested classes – this includes compiler-generated special member functions – are put in the specified segment." The actual behavior is a little more complicated. The Microsoft compiler won't check outer classes if there is an active value from #pragma code_seg. The CodeSeg is always applied from the direct parent but only from outer classes when the #pragma code_seg stack is empty. See: https://reviews.llvm.org/D22931, the Microsoft feedback page is no longer available since MS has removed the page.

Definition at line 9262 of file SemaDecl.cpp.

Referenced by clang::Sema::getImplicitCodeSegOrSectionAttrForFunction().

◆ getMSManglingNumber()

static unsigned getMSManglingNumber	(	const LangOptions &	LO,
		Scope *	S
	)

static

Definition at line 4116 of file SemaDecl.cpp.

◆ getNextLargerIntegralType()

static QualType getNextLargerIntegralType	(	ASTContext &	Context,
		QualType	T
	)

static

Definition at line 16212 of file SemaDecl.cpp.

◆ getNoteDiagForInvalidRedeclaration()

template<typename T >

static std::pair<diag::kind, SourceLocation> getNoteDiagForInvalidRedeclaration	(	const T *	Old,
		const T *	New
	)

static

Definition at line 2837 of file SemaDecl.cpp.

References clang::SourceLocation::isInvalid().

Referenced by clang::Sema::MergeVarDecl().

◆ getOpenCLKernelParameterType()

static OpenCLParamType getOpenCLKernelParameterType	(	Sema &	S,
		QualType	PT
	)

static

Definition at line 8065 of file SemaDecl.cpp.

◆ getRedeclDiagFromTagKind()

static unsigned getRedeclDiagFromTagKind ( TagTypeKind Tag )

static

Get diagnostic select index for tag kind for redeclaration diagnostic message.

WARNING: Indexes apply to particular diagnostics only!

Returns: diagnostic select index.

Definition at line 13801 of file SemaDecl.cpp.

References clang::TTK_Class, clang::TTK_Interface, and clang::TTK_Struct.

◆ getTagInjectionContext()

static DeclContext* getTagInjectionContext ( DeclContext * DC )

static

Find the DeclContext in which a tag is implicitly declared if we see an elaborated type specifier in the specified context, and lookup finds nothing.

Definition at line 8285 of file SemaDecl.cpp.

References clang::DeclContext::getParent(), clang::DeclContext::isFileContext(), and clang::DeclContext::isFunctionOrMethod().

◆ getTagInjectionScope()

static Scope* getTagInjectionScope	(	Scope *	S,
		const LangOptions &	LangOpts
	)

static

Find the Scope in which a tag is implicitly declared if we see an elaborated type specifier in the specified context, and lookup finds nothing.

Definition at line 8294 of file SemaDecl.cpp.

◆ hasAttribute()

static bool hasAttribute	(	const Decl *	D,
		attr::Kind	Kind
	)

static

Definition at line 2525 of file SemaDecl.cpp.

References clang::Decl::attrs().

◆ hasDeducedAuto()

static bool hasDeducedAuto ( DeclaratorDecl * DD )

static

Definition at line 12193 of file SemaDecl.cpp.

References clang::ValueDecl::getType(), and clang::Type::hasAutoForTrailingReturnType().

◆ hasDependentAlignment()

static bool hasDependentAlignment ( VarDecl * VD )

static

Determines if a variable's alignment is dependent.

Definition at line 11964 of file SemaDecl.cpp.

References clang::ValueDecl::getType(), clang::Type::isDependentType(), and clang::Decl::specific_attrs().

◆ hasIdenticalPassObjectSizeAttrs()

static bool hasIdenticalPassObjectSizeAttrs	(	const FunctionDecl *	A,
		const FunctionDecl *	B
	)

static

Definition at line 2925 of file SemaDecl.cpp.

References clang::Decl::getAttr(), clang::FunctionDecl::getNumParams(), and clang::FunctionDecl::param_begin().

◆ HasNonMultiVersionAttributes()

static bool HasNonMultiVersionAttributes	(	const FunctionDecl *	FD,
		MultiVersionKind	MVType
	)

static

Definition at line 9415 of file SemaDecl.cpp.

References clang::Decl::attrs(), clang::CPUDispatch, clang::CPUSpecific, and clang::Target.

◆ hasParsedAttr()

static bool hasParsedAttr	(	Scope *	S,
		const Declarator &	PD,
		ParsedAttr::Kind	Kind
	)

static

Definition at line 6215 of file SemaDecl.cpp.

◆ hasSimilarParameters()

static bool hasSimilarParameters	(	ASTContext &	Context,
		FunctionDecl *	Declaration,
		FunctionDecl *	Definition,
		SmallVectorImpl< unsigned > &	Params
	)

static

hasSimilarParameters - Determine whether the C++ functions Declaration and Definition have "nearly" matching parameters.

This heuristic is used to improve diagnostics in the case where an out-of-line function definition doesn't match any declaration within the class or namespace. Also sets Params to the list of indices to the parameters that differ between the declaration and the definition. If hasSimilarParameters returns true and Params is empty, then all of the parameters match.

Definition at line 5078 of file SemaDecl.cpp.

◆ haveIncompatibleLanguageLinkages()

template<typename T >

static bool haveIncompatibleLanguageLinkages	(	const T *	Old,
		const T *	New
	)

static

Definition at line 2870 of file SemaDecl.cpp.

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

Referenced by clang::Sema::MergeVarDecl().

◆ InjectAnonymousStructOrUnionMembers()

static bool InjectAnonymousStructOrUnionMembers	(	Sema &	SemaRef,
		Scope *	S,
		DeclContext *	Owner,
		RecordDecl *	AnonRecord,
		AccessSpecifier	AS,
		SmallVectorImpl< NamedDecl *> &	Chaining
	)

static

InjectAnonymousStructOrUnionMembers - Inject the members of the anonymous struct or union AnonRecord into the owning context Owner and scope S.

This routine will be invoked just after we realize that an unnamed union or struct is actually an anonymous union or struct, e.g.,

union {
  int i;
  float f;
}; // InjectAnonymousStructOrUnionMembers called here to inject i and
   // f into the surrounding scope.x

This routine is recursive, injecting the names of nested anonymous structs/unions into the owning context and scope as well.

Definition at line 4510 of file SemaDecl.cpp.

◆ isAcceptableTagRedeclContext()

static bool isAcceptableTagRedeclContext	(	Sema &	S,
		DeclContext *	OldDC,
		DeclContext *	NewDC
	)

static

Determine whether a tag originally declared in context OldDC can be redeclared with an unqualified name in NewDC (assuming name lookup found a declaration in OldDC as a previous decl, perhaps through a using-declaration).

Definition at line 14014 of file SemaDecl.cpp.

◆ isAttributeTargetADefinition()

static bool isAttributeTargetADefinition ( Decl * D )

static

Definition at line 2301 of file SemaDecl.cpp.

◆ isClassCompatTagKind()

static bool isClassCompatTagKind ( TagTypeKind Tag )

static

Determine if tag kind is a class-key compatible with class for redeclaration (class, struct, or __interface).

Returns: true iff the tag kind is compatible.

Definition at line 13814 of file SemaDecl.cpp.

References clang::TTK_Class, clang::TTK_Interface, and clang::TTK_Struct.

◆ isDeclExternC()

static bool isDeclExternC ( const Decl * D )

static

Returns true if given declaration has external C language linkage.

Definition at line 6257 of file SemaDecl.cpp.

◆ IsDisallowedCopyOrAssign()

static bool IsDisallowedCopyOrAssign ( const CXXMethodDecl * D )

static

Check for this common pattern:

class S {
  S(const S&); // DO NOT IMPLEMENT
  void operator=(const S&); // DO NOT IMPLEMENT
};

Definition at line 1510 of file SemaDecl.cpp.

References clang::FunctionDecl::doesThisDeclarationHaveABody(), clang::Decl::getDeclContext(), clang::DeclContext::getParent(), clang::CXXMethodDecl::isCopyAssignmentOperator(), clang::NamedDecl::isExternallyVisible(), and clang::DeclContext::isTranslationUnit().

Referenced by clang::Sema::ShouldWarnIfUnusedFileScopedDecl().

◆ isExternC() [1/2]

template<typename T >

static bool isExternC ( T * D )

static

Definition at line 2883 of file SemaDecl.cpp.

◆ isExternC() [2/2]

static bool isExternC ( VarTemplateDecl * )

static

Definition at line 2884 of file SemaDecl.cpp.

◆ isFunctionDefinitionDiscarded()

static bool isFunctionDefinitionDiscarded	(	Sema &	S,
		FunctionDecl *	FD
	)

static

Given that we are within the definition of the given function, will that definition behave like C99's 'inline', where the definition is discarded except for optimization purposes?

Definition at line 6148 of file SemaDecl.cpp.

◆ isIncompleteDeclExternC()

template<typename T >

static bool isIncompleteDeclExternC	(	Sema &	S,
		const T *	D
	)

static

Determine whether a variable is extern "C" prior to attaching an initializer.

We can't just call isExternC() here, because that will also compute and cache whether the declaration is externally visible, which might change when we attach the initializer.

This can only be used if the declaration is known to not be a redeclaration of an internal linkage declaration.

For instance:

auto x = []{};

Attaching the initializer here makes this declaration not externally visible, because its type has internal linkage.

FIXME: This is a hack.

Definition at line 6179 of file SemaDecl.cpp.

◆ isMainFileLoc()

static bool isMainFileLoc	(	const Sema &	S,
		SourceLocation	Loc
	)

static

Definition at line 1548 of file SemaDecl.cpp.

Referenced by clang::Sema::ShouldWarnIfUnusedFileScopedDecl().

◆ isOpenCLSizeDependentType()

static bool isOpenCLSizeDependentType	(	ASTContext &	C,
		QualType	Ty
	)

static

Definition at line 8042 of file SemaDecl.cpp.

References clang::QualType::getAsString(), and clang::QualType::getSingleStepDesugaredType().

◆ isOutOfScopePreviousDeclaration()

static bool isOutOfScopePreviousDeclaration	(	NamedDecl *	PrevDecl,
		DeclContext *	DC,
		ASTContext &	Context
	)

static

Determines whether the given declaration is an out-of-scope previous declaration.

This routine should be invoked when name lookup has found a previous declaration (PrevDecl) that is not in the scope where a new declaration by the same name is being introduced. If the new declaration occurs in a local scope, previous declarations with linkage may still be considered previous declarations (C99 6.2.2p4-5, C++ [basic.link]p6).

Parameters

PrevDecl	the previous declaration found by name lookup
DC	the context in which the new declaration is being declared.

Returns: true if PrevDecl is an out-of-scope previous declaration for a new delcaration with the same name.

Definition at line 5832 of file SemaDecl.cpp.

◆ isRepresentableIntegerValue()

static bool isRepresentableIntegerValue	(	ASTContext &	Context,
		llvm::APSInt &	Value,
		QualType	T
	)

static

Determine whether the given integral value is representable within the given type T.

Definition at line 16195 of file SemaDecl.cpp.

◆ isResultTypeOrTemplate()

static bool isResultTypeOrTemplate	(	LookupResult &	R,
		const Token &	NextToken
	)

static

Determine whether the given result set contains either a type name or.

Definition at line 764 of file SemaDecl.cpp.

References clang::LookupResult::begin(), clang::LookupResult::end(), clang::Sema::getLangOpts(), clang::LookupResult::getSema(), and clang::Token::is().

◆ isTagTypeWithMissingTag()

static bool isTagTypeWithMissingTag	(	Sema &	SemaRef,
		LookupResult &	Result,
		Scope *	S,
		CXXScopeSpec &	SS,
		IdentifierInfo *&	Name,
		SourceLocation	NameLoc
	)

static

Definition at line 779 of file SemaDecl.cpp.

◆ isUsingDecl()

static bool isUsingDecl ( NamedDecl * D )

static

Definition at line 1487 of file SemaDecl.cpp.

Referenced by RemoveUsingDecls().

◆ LookupPredefedObjCSuperType()

static void LookupPredefedObjCSuperType	(	Sema &	ThisSema,
		Scope *	S,
		IdentifierInfo *	II
	)

static

Looks up the declaration of "struct objc_super" and saves it for later use in building builtin declaration of objc_msgSendSuper and objc_msgSendSuper_stret.

If no such pre-existing declaration exists no action takes place.

Definition at line 1915 of file SemaDecl.cpp.

◆ lookupUnqualifiedTypeNameInBase()

static UnqualifiedTypeNameLookupResult lookupUnqualifiedTypeNameInBase	(	Sema &	S,
		const IdentifierInfo &	II,
		SourceLocation	NameLoc,
		const CXXRecordDecl *	RD
	)

static

Tries to perform unqualified lookup of the type decls in bases for dependent class.

Returns: NotFound if no any decls is found, FoundNotType if found not a type decl, FoundType if only type decls are found.

Definition at line 173 of file SemaDecl.cpp.

◆ mergeAlignedAttrs()

static bool mergeAlignedAttrs	(	Sema &	S,
		NamedDecl *	New,
		Decl *	Old
	)

static

Merge alignment attributes from Old to New, taking into account the special semantics of C11's _Alignas specifier and C++11's alignas attribute.

Returns: true if any attributes were added to New.

Definition at line 2313 of file SemaDecl.cpp.

◆ mergeDeclAttribute()

static bool mergeDeclAttribute	(	Sema &	S,
		NamedDecl *	D,
		const InheritableAttr *	Attr,
		Sema::AvailabilityMergeKind	AMK
	)

static

Definition at line 2420 of file SemaDecl.cpp.

◆ mergeParamDeclAttributes()

static void mergeParamDeclAttributes	(	ParmVarDecl *	newDecl,
		const ParmVarDecl *	oldDecl,
		Sema &	S
	)

static

mergeParamDeclAttributes - Copy attributes from the old parameter to the new one.

Definition at line 2729 of file SemaDecl.cpp.

Referenced by clang::Sema::mergeObjCMethodDecls().

◆ mergeParamDeclTypes()

static void mergeParamDeclTypes	(	ParmVarDecl *	NewParam,
		const ParmVarDecl *	OldParam,
		Sema &	S
	)

static

Definition at line 2772 of file SemaDecl.cpp.

◆ mergeTypeWithPrevious()

static bool mergeTypeWithPrevious	(	Sema &	S,
		VarDecl *	NewVD,
		VarDecl *	OldVD,
		LookupResult &	Previous
	)

static

Definition at line 3749 of file SemaDecl.cpp.

Referenced by clang::Sema::MergeVarDecl().

◆ PreviousDeclsHaveMultiVersionAttribute()

static bool PreviousDeclsHaveMultiVersionAttribute ( const FunctionDecl * FD )

static

Definition at line 9612 of file SemaDecl.cpp.

References clang::Decl::getAsFunction(), clang::FunctionDecl::getMultiVersionKind(), clang::Redeclarable< decl_type >::getPreviousDecl(), clang::Decl::getPreviousDecl(), and clang::None.

◆ RebuildDeclaratorInCurrentInstantiation()

static bool RebuildDeclaratorInCurrentInstantiation	(	Sema &	S,
		Declarator &	D,
		DeclarationName	Name
	)

static

NeedsRebuildingInCurrentInstantiation - Checks whether the given declarator needs to be rebuilt in the current instantiation.

Any bits of declarator which appear before the name are valid for consideration here. That's specifically the type in the decl spec and the base type in any member-pointer chunks.

Definition at line 5113 of file SemaDecl.cpp.

◆ RebuildLambdaScopeInfo()

static void RebuildLambdaScopeInfo	(	CXXMethodDecl *	CallOperator,
		Sema &	S
	)

static

Definition at line 12815 of file SemaDecl.cpp.

Referenced by clang::Sema::ActOnStartOfFunctionDef().

◆ recoverFromTypeInKnownDependentBase()

static ParsedType recoverFromTypeInKnownDependentBase	(	Sema &	S,
		const IdentifierInfo &	II,
		SourceLocation	NameLoc
	)

static

Definition at line 228 of file SemaDecl.cpp.

◆ RemoveUsingDecls()

static void RemoveUsingDecls ( LookupResult & R )

static

Removes using shadow declarations from the lookup results.

Definition at line 1494 of file SemaDecl.cpp.

References clang::LookupResult::Filter::done(), clang::LookupResult::Filter::erase(), clang::LookupResult::Filter::hasNext(), isUsingDecl(), clang::LookupResult::makeFilter(), and clang::LookupResult::Filter::next().

◆ ReportOverrides()

static void ReportOverrides	(	Sema &	S,
		unsigned	DiagID,
		const CXXMethodDecl *	MD,
		OverrideErrorKind	OEK = `OEK_All`
	)

static

Report an error regarding overriding, along with any relevant overridden methods.

Parameters

DiagID	the primary error to report.
MD	the overriding method.
OEK	which overrides to include as notes.

Definition at line 7597 of file SemaDecl.cpp.

◆ SetNestedNameSpecifier()

static void SetNestedNameSpecifier	(	Sema &	S,
		DeclaratorDecl *	DD,
		Declarator &	D
	)

static

Definition at line 5871 of file SemaDecl.cpp.

◆ shouldConsiderLinkage() [1/2]

static bool shouldConsiderLinkage ( const VarDecl * VD )

static

Definition at line 6193 of file SemaDecl.cpp.

References clang::Decl::getDeclContext(), clang::DeclContext::getRedeclContext(), clang::VarDecl::hasExternalStorage(), clang::DeclContext::isFileContext(), clang::DeclContext::isFunctionOrMethod(), and clang::DeclContext::isRecord().

◆ shouldConsiderLinkage() [2/2]

static bool shouldConsiderLinkage ( const FunctionDecl * FD )

static

Definition at line 6205 of file SemaDecl.cpp.

References clang::Decl::getDeclContext(), clang::DeclContext::getRedeclContext(), clang::DeclContext::isFileContext(), clang::DeclContext::isFunctionOrMethod(), and clang::DeclContext::isRecord().

◆ ShouldDiagnoseUnusedDecl()

static bool ShouldDiagnoseUnusedDecl ( const NamedDecl * D )

static

Definition at line 1637 of file SemaDecl.cpp.

References clang::Type::getAs(), clang::CXXConstructExpr::getConstructor(), clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::Decl::hasAttr(), clang::CXXConstructExpr::isElidable(), clang::DeclContext::isFunctionOrMethod(), clang::Decl::isInvalidDecl(), clang::Decl::isReferenced(), clang::FunctionDecl::isTrivial(), and clang::Decl::isUsed().

Referenced by clang::Sema::DiagnoseUnusedDecl().

◆ ShouldWarnAboutMissingPrototype()

static bool ShouldWarnAboutMissingPrototype	(	const FunctionDecl *	FD,
		const FunctionDecl *&	PossibleZeroParamPrototype
	)

static

Definition at line 12658 of file SemaDecl.cpp.

References clang::FunctionDecl::getDescribedFunctionTemplate(), clang::FunctionDecl::getNumParams(), clang::Redeclarable< decl_type >::getPreviousDecl(), clang::Decl::hasAttr(), clang::FunctionDecl::isDeleted(), clang::FunctionDecl::isFunctionTemplateSpecialization(), clang::FunctionDecl::isGlobal(), clang::FunctionDecl::isInlined(), clang::Decl::isInvalidDecl(), and clang::FunctionDecl::isMain().

◆ shouldWarnIfShadowedDecl()

static bool shouldWarnIfShadowedDecl	(	const DiagnosticsEngine &	Diags,
		const LookupResult &	R
	)

static

Definition at line 6966 of file SemaDecl.cpp.

References clang::LookupResult::Found, clang::LookupResult::getNameLoc(), clang::LookupResult::getResultKind(), and clang::DiagnosticsEngine::isIgnored().

Referenced by clang::Sema::getShadowedDeclaration().

◆ StorageClassSpecToVarDeclStorageClass()

static StorageClass StorageClassSpecToVarDeclStorageClass ( const DeclSpec & DS )

static

StorageClassSpecToVarDeclStorageClass - Maps a DeclSpec::SCS to a VarDecl::StorageClass.

Any error reporting is up to the caller: illegal input values are mapped to SC_None.

Definition at line 4572 of file SemaDecl.cpp.

References clang::DeclSpec::getStorageClassSpec(), clang::DeclSpec::isExternInLinkageSpec(), clang::SC_Auto, clang::SC_Extern, clang::SC_None, clang::SC_PrivateExtern, clang::SC_Register, clang::SC_Static, clang::DeclSpec::SCS_auto, clang::DeclSpec::SCS_extern, clang::DeclSpec::SCS_mutable, clang::DeclSpec::SCS_private_extern, clang::DeclSpec::SCS_register, clang::DeclSpec::SCS_static, clang::DeclSpec::SCS_typedef, and clang::DeclSpec::SCS_unspecified.

◆ synthesizeCurrentNestedNameSpecifier()

static NestedNameSpecifier* synthesizeCurrentNestedNameSpecifier	(	ASTContext &	Context,
		DeclContext *	DC
	)

static

Definition at line 521 of file SemaDecl.cpp.

Referenced by clang::Sema::ActOnMSVCUnknownTypeName().

◆ TranslateIvarVisibility()

static ObjCIvarDecl::AccessControl TranslateIvarVisibility ( tok::ObjCKeywordKind ivarVisibility )

static

TranslateIvarVisibility - Translate visibility from a token ID to an AST enum value.

Definition at line 15580 of file SemaDecl.cpp.

References clang::ObjCIvarDecl::Package, clang::ObjCIvarDecl::Private, clang::ObjCIvarDecl::Protected, and clang::ObjCIvarDecl::Public.

◆ TryToFixInvalidVariablyModifiedType()

static QualType TryToFixInvalidVariablyModifiedType	(	QualType	T,
		ASTContext &	Context,
		bool &	SizeIsNegative,
		llvm::APSInt &	Oversized
	)

static

Helper method to turn variable array types into constant array types in certain situations which would otherwise be errors (for GCC compatibility).

Definition at line 5533 of file SemaDecl.cpp.

◆ TryToFixInvalidVariablyModifiedTypeSourceInfo()

static TypeSourceInfo* TryToFixInvalidVariablyModifiedTypeSourceInfo	(	TypeSourceInfo *	TInfo,
		ASTContext &	Context,
		bool &	SizeIsNegative,
		llvm::APSInt &	Oversized
	)

static

Helper method to turn variable array types into constant array types in certain situations which would otherwise be errors (for GCC compatibility).

Definition at line 5635 of file SemaDecl.cpp.

◆ ValidDuplicateEnum()

static bool ValidDuplicateEnum	(	EnumConstantDecl *	ECD,
		EnumDecl *	Enum
	)

static

Definition at line 16513 of file SemaDecl.cpp.

References clang::TagDecl::castFromDeclContext(), clang::DeclRefExpr::getDecl(), clang::Decl::getDeclContext(), clang::EnumConstantDecl::getInitExpr(), clang::APIntStorage::getValue(), and clang::Expr::IgnoreImpCasts().

Variable Documentation

◆ X

X

Add a minimal nested name specifier fixit hint to allow lookup of a tag name from an outer enclosing namespace or file scope inside a friend declaration.

This should provide the commented out code in the following snippet: namespace N { struct X; namespace M { struct Y { friend struct /*N::

Definition at line 13974 of file SemaDecl.cpp.

Referenced by clang::Sema::ActOnOpenMPAtomicDirective(), clang::ento::BasicValueFactory::Add1(), clang::ASTContext::addComment(), clang::SrcMgr::ExpansionInfo::create(), clang::ento::CreateRangeConstraintManager(), clang::CodeGen::CodeGenFunction::EmitAMDGPUBuiltinExpr(), EmitOverflowIntrinsic(), clang::ento::nonloc::ConcreteInt::evalBinOp(), clang::ento::loc::ConcreteInt::evalBinOp(), clang::ento::ExprEngine::evalComplement(), clang::ento::ExprEngine::evalMinus(), eventsDescribeSameCondition(), clang::SrcMgr::FileInfo::get(), clang::ento::SVal::getAsFunctionDecl(), clang::ento::SVal::getAsLocSymbol(), getAsPointeeSymbol(), clang::ento::SVal::getAsRegion(), clang::ento::SVal::getAsSymbol(), clang::ento::SVal::getAsSymbolicExpression(), clang::HeaderMapImpl::getFileName(), clang::DeclGroupRef::getFromOpaquePtr(), clang::SourceLocation::getFromRawEncoding(), clang::ento::SVal::getLocSymbolInBase(), getMissingDeclaratorIdLoc(), clang::ento::BasicValueFactory::getValue(), clang::ento::PathDiagnosticConsumer::HandlePathDiagnostic(), clang::ASTContext::hasSameNullabilityTypeQualifier(), clang::HeaderMapImpl::HeaderMapImpl(), isConsumerInterestedIn(), isSameEntity(), isSameTemplateParameter(), clang::Sema::isTemplateTemplateParameterAtLeastAsSpecializedAs(), clang::CXXRecordDecl::isTriviallyCopyable(), mergeCandidatesWithResults(), clang::ento::mpi::MPIBugReporter::MPIBugReporter(), clang::ento::PathDiagnosticLocation::operator!=(), clang::operator<=(), clang::operator>(), parameterTypeFromSVal(), clang::Parser::ParseConstraintExpression(), clang::ento::RangeSet::print(), clang::ento::ExprEngine::processBranch(), llvm::FoldingSetTrait< ObjectState >::Profile(), clang::ento::EnvironmentManager::removeDeadBindings(), clang::ento::ScanReachableSymbols::scan(), clang::ento::BasicValueFactory::Sub1(), TryListConversion(), clang::ento::ExprEngine::VisitGCCAsmStmt(), clang::ento::ExprEngine::VisitLogicalExpr(), clang::ento::ExprEngine::VisitUnaryOperator(), and clang::CodeGen::CodeGenFunction::OMPCancelStackRAII::~OMPCancelStackRAII().

Classes

Enumerations

Functions

Variables

Enumeration Type Documentation

◆ OpenCLParamType

◆ OverrideErrorKind

◆ ShadowedDeclKind

◆ UnqualifiedTypeNameLookupResult

Function Documentation

◆ adjustDeclContextForDeclaratorDecl()

◆ AllowOverloadingOfFunction()

◆ buildNestedType()

◆ canRedefineFunction()

◆ CheckAnonMemberRedeclaration()

◆ checkAttributesAfterMerging()

◆ checkDLLAttributeRedeclaration()

◆ checkDuplicateDefaultInit() [1/2]

◆ checkDuplicateDefaultInit() [2/2]

◆ checkForConflictWithNonVisibleExternC()

◆ CheckForDuplicateEnumValues()

◆ checkGlobalOrExternCConflict()

◆ checkIsValidOpenCLKernelParameter()

◆ checkModuleImportContext()

◆ CheckMultiVersionAdditionalDecl()

◆ CheckMultiVersionAdditionalRules()

◆ CheckMultiVersionFirstFunction()

◆ CheckMultiVersionFunction()

◆ CheckMultiVersionValue()

◆ checkNewAttributesAfterDef()

◆ CheckPoppedLabel()

◆ CheckTargetCausesMultiVersioning()

◆ checkUsingShadowRedecl()

◆ computeShadowedDeclKind()

◆ createFriendTagNNSFixIt()

◆ CreateNewFunctionDecl()

◆ DeclHasAttr()

◆ DiagnoseInvalidRedeclaration()

◆ diagnoseVarDeclTypeMismatch()

◆ filterNonConflictingPreviousTypedefDecls()

◆ findDefaultInitializer()

◆ findRecordWithDependentBasesOfEnclosingMethod()

◆ FixInvalidVariablyModifiedTypeLoc()

◆ GenerateFixForUnusedDecl()

◆ getCaptureLocation()

◆ getCoreType()

◆ getDefinition()

◆ GetDiagnosticTypeSpecifierID()

◆ getFunctionStorageClass()

◆ getHeaderName()

◆ getImplicitCodeSegAttrFromClass()

◆ getMSManglingNumber()

◆ getNextLargerIntegralType()

◆ getNoteDiagForInvalidRedeclaration()

◆ getOpenCLKernelParameterType()

◆ getRedeclDiagFromTagKind()

◆ getTagInjectionContext()

◆ getTagInjectionScope()

◆ hasAttribute()

◆ hasDeducedAuto()

◆ hasDependentAlignment()

◆ hasIdenticalPassObjectSizeAttrs()

◆ HasNonMultiVersionAttributes()

◆ hasParsedAttr()

◆ hasSimilarParameters()

◆ haveIncompatibleLanguageLinkages()

◆ InjectAnonymousStructOrUnionMembers()

◆ isAcceptableTagRedeclContext()

◆ isAttributeTargetADefinition()

◆ isClassCompatTagKind()

◆ isDeclExternC()

◆ IsDisallowedCopyOrAssign()

◆ isExternC() [1/2]

◆ isExternC() [2/2]

◆ isFunctionDefinitionDiscarded()

◆ isIncompleteDeclExternC()

◆ isMainFileLoc()

◆ isOpenCLSizeDependentType()

◆ isOutOfScopePreviousDeclaration()

◆ isRepresentableIntegerValue()