SemaDecl.cpp File Reference

#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/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/MangleNumberingContext.h"
#include "clang/AST/NonTrivialTypeVisitor.h"
#include "clang/AST/Randstruct.h"
#include "clang/AST/StmtCXX.h"
#include "clang/AST/Type.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/DiagnosticComment.h"
#include "clang/Basic/HLSLRuntime.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/SemaAMDGPU.h"
#include "clang/Sema/SemaARM.h"
#include "clang/Sema/SemaCUDA.h"
#include "clang/Sema/SemaHLSL.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/SemaObjC.h"
#include "clang/Sema/SemaOpenACC.h"
#include "clang/Sema/SemaOpenMP.h"
#include "clang/Sema/SemaPPC.h"
#include "clang/Sema/SemaRISCV.h"
#include "clang/Sema/SemaSYCL.h"
#include "clang/Sema/SemaSwift.h"
#include "clang/Sema/SemaWasm.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/STLForwardCompat.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/SaveAndRestore.h"
#include "llvm/TargetParser/Triple.h"
#include <algorithm>
#include <cstring>
#include <optional>
#include <unordered_map>
#include "clang/Sema/AttrParsedAttrImpl.inc"
#include "clang/Basic/TransformTypeTraits.def"

Go to the source code of this file.

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

Macros
#define	WANT_DECL_MERGE_LOGIC
#define	TRANSFORM_TYPE_TRAIT_DEF(_, Trait)

Enumerations
enum	ShadowedDeclKind {   SDK_Local , SDK_Global , SDK_StaticMember , SDK_Field ,   SDK_Typedef , SDK_Using , SDK_StructuredBinding }
	Enum describing the select options in diag::warn_decl_shadow. More...
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.
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.
static bool	isResultTypeOrTemplate (LookupResult &R, const Token &NextToken)
	Determine whether the given result set contains either a type name or.
static bool	isTagTypeWithMissingTag (Sema &SemaRef, LookupResult &Result, Scope *S, CXXScopeSpec &SS, IdentifierInfo *&Name, SourceLocation NameLoc)
static bool	AllowOverloadingOfFunction (const LookupResult &Previous, ASTContext &Context, const FunctionDecl *New)
	Determine whether overloading is allowed for a new function declaration considering prior declarations of the same name.
static bool	isOutOfScopePreviousDeclaration (NamedDecl *PrevDecl, DeclContext *DC, ASTContext &Context)
	Determines whether the given declaration is an out-of-scope previous declaration.
static bool	isImplicitInstantiation (NamedDecl *D)
static bool	isUsingDeclNotAtClassScope (NamedDecl *D)
static void	RemoveUsingDecls (LookupResult &R)
	Removes using shadow declarations not at class scope from the lookup results.
static bool	IsDisallowedCopyOrAssign (const CXXMethodDecl *D)
	Check for this common pattern:
static bool	ShouldDiagnoseUnusedDecl (const LangOptions &LangOpts, const NamedDecl *D)
static void	GenerateFixForUnusedDecl (const NamedDecl *D, ASTContext &Ctx, FixItHint &Hint)
static void	CheckPoppedLabel (LabelDecl *L, Sema &S, Sema::DiagReceiverTy DiagReceiver)
static StringRef	getHeaderName (Builtin::Context &BuiltinInfo, unsigned ID, ASTContext::GetBuiltinTypeError Error)
static void	filterNonConflictingPreviousTypedefDecls (Sema &S, const TypedefNameDecl *Decl, LookupResult &Previous)
	Typedef declarations don't have linkage, but they still denote the same entity if their types are the same.
static bool	DeclHasAttr (const Decl *D, const Attr *A)
	DeclhasAttr - returns true if decl Declaration already has the target attribute.
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.
static bool	mergeDeclAttribute (Sema &S, NamedDecl *D, const InheritableAttr *Attr, 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.
static void	diagnoseMissingConstinit (Sema &S, const VarDecl *InitDecl, const ConstInitAttr *CIAttr, bool AttrBeforeInit)
template<class T>
static unsigned	propagateAttribute (ParmVarDecl *To, const ParmVarDecl *From, Sema &S)
template<class F>
static void	propagateAttributes (ParmVarDecl *To, const ParmVarDecl *From, F &&propagator)
static void	mergeParamDeclAttributes (ParmVarDecl *newDecl, const ParmVarDecl *oldDecl, Sema &S)
	mergeParamDeclAttributes - Copy attributes from the old parameter to the new one.
static bool	EquivalentArrayTypes (QualType Old, QualType New, const ASTContext &Ctx)
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.
template<typename T>
static bool	haveIncompatibleLanguageLinkages (const T *Old, const T *New)
template<typename T>
static bool	isExternC (T *D)
static bool	isExternC (VarTemplateDecl *)
static bool	isExternC (FunctionTemplateDecl *)
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).
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.
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 NonCLikeKind	getNonCLikeKindForAnonymousStruct (const CXXRecordDecl *RD)
	Determine whether a class is C-like, according to the rules of C++ [dcl.typedef] for anonymous classes with typedef names for linkage.
static unsigned	GetDiagnosticTypeSpecifierID (const DeclSpec &DS)
static bool	CheckAnonMemberRedeclaration (Sema &SemaRef, Scope *S, DeclContext *Owner, DeclarationName Name, SourceLocation NameLoc, bool IsUnion, StorageClass SC)
	We are trying to inject an anonymous member into the given scope; check if there's an existing declaration that can't be overloaded.
static bool	InjectAnonymousStructOrUnionMembers (Sema &SemaRef, Scope *S, DeclContext *Owner, RecordDecl *AnonRecord, AccessSpecifier AS, StorageClass SC, SmallVectorImpl< NamedDecl * > &Chaining)
	InjectAnonymousStructOrUnionMembers - Inject the members of the anonymous struct or union AnonRecord into the owning context Owner and scope S.
static StorageClass	StorageClassSpecToVarDeclStorageClass (const DeclSpec &DS)
	StorageClassSpecToVarDeclStorageClass - Maps a DeclSpec::SCS to a VarDecl::StorageClass.
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.
static bool	RebuildDeclaratorInCurrentInstantiation (Sema &S, Declarator &D, DeclarationName Name)
	RebuildDeclaratorInCurrentInstantiation - Checks whether the given declarator needs to be rebuilt in the current instantiation.
static bool	isFromSystemHeader (SourceManager &SM, const Decl *D)
	Returns true if the declaration is declared in a system header or from a system macro.
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).
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).
static void	SetNestedNameSpecifier (Sema &S, DeclaratorDecl *DD, Declarator &D)
static void	checkWeakAttr (Sema &S, NamedDecl &ND)
static void	checkWeakRefAttr (Sema &S, NamedDecl &ND)
static void	checkAliasAttr (Sema &S, NamedDecl &ND)
static void	checkSelectAnyAttr (Sema &S, NamedDecl &ND)
static void	checkHybridPatchableAttr (Sema &S, NamedDecl &ND)
static void	checkInheritableAttr (Sema &S, NamedDecl &ND)
static void	checkLifetimeBoundAttr (Sema &S, NamedDecl &ND)
static void	checkModularFormatAttr (Sema &S, NamedDecl &ND)
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?
template<typename T>
static bool	isIncompleteDeclExternC (Sema &S, const T *D)
	Determine whether a variable is extern "C" prior to attaching an initializer.
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.
static bool	diagnoseOpenCLTypes (Sema &Se, VarDecl *NewVD)
	Returns true if there hasn't been any invalid type diagnosed.
template<typename AttrTy>
static void	copyAttrFromTypedefToDecl (Sema &S, Decl *D, const TypedefType *TT)
static void	emitReadOnlyPlacementAttrWarning (Sema &S, const VarDecl *VD)
static bool	isMainVar (DeclarationName Name, VarDecl *VD)
static ShadowedDeclKind	computeShadowedDeclKind (const NamedDecl *ShadowedDecl, const DeclContext *OldDC)
	Determine what kind of declaration we're shadowing.
static SourceLocation	getCaptureLocation (const LambdaScopeInfo *LSI, const ValueDecl *VD)
	Return the location of the capture if the given lambda captures the given variable VD, or an invalid source location otherwise.
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.
template<typename T>
static bool	checkForConflictWithNonVisibleExternC (Sema &S, const T *ND, LookupResult &Previous)
	Apply special rules for handling extern "C" declarations.
static bool	CheckC23ConstexprVarType (Sema &SemaRef, SourceLocation VarLoc, QualType T)
static NamedDecl *	DiagnoseInvalidRedeclaration (Sema &SemaRef, LookupResult &Previous, FunctionDecl *NewFD, ActOnFDArgs &ExtraArgs, bool IsLocalFriend, Scope *S)
	Generate diagnostics for an invalid function redeclaration.
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.
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.
static bool	isStdBuiltin (ASTContext &Ctx, FunctionDecl *FD, unsigned BuiltinID)
	Determine whether a declaration matches a known function in namespace std.
static Attr *	getImplicitCodeSegAttrFromClass (Sema &S, const FunctionDecl *FD)
	Return a CodeSegAttr from a containing class.
static bool	CheckMultiVersionValue (Sema &S, const FunctionDecl *FD)
	Check the target or target_version attribute of the function for MultiVersion validity.
static bool	AttrCompatibleWithMultiVersion (attr::Kind Kind, MultiVersionKind MVKind)
static bool	checkNonMultiVersionCompatAttributes (Sema &S, const FunctionDecl *FD, const FunctionDecl *CausedFD, MultiVersionKind MVKind)
static bool	CheckMultiVersionAdditionalRules (Sema &S, const FunctionDecl *OldFD, const FunctionDecl *NewFD, bool CausesMV, MultiVersionKind MVKind)
static bool	CheckMultiVersionFirstFunction (Sema &S, FunctionDecl *FD)
	Check the validity of a multiversion function declaration that is the first of its kind.
static bool	PreviousDeclsHaveMultiVersionAttribute (const FunctionDecl *FD)
static void	patchDefaultTargetVersion (FunctionDecl *From, FunctionDecl *To)
static bool	CheckDeclarationCausesMultiVersioning (Sema &S, FunctionDecl *OldFD, FunctionDecl *NewFD, bool &Redeclaration, NamedDecl *&OldDecl, LookupResult &Previous)
static bool	MultiVersionTypesCompatible (FunctionDecl *Old, FunctionDecl *New)
static bool	CheckMultiVersionAdditionalDecl (Sema &S, FunctionDecl *OldFD, FunctionDecl *NewFD, const CPUDispatchAttr *NewCPUDisp, const CPUSpecificAttr *NewCPUSpec, const TargetClonesAttr *NewClones, bool &Redeclaration, NamedDecl *&OldDecl, LookupResult &Previous)
	Check the validity of a new function declaration being added to an existing multiversioned declaration collection.
static bool	CheckMultiVersionFunction (Sema &S, FunctionDecl *NewFD, bool &Redeclaration, NamedDecl *&OldDecl, LookupResult &Previous)
	Check the validity of a mulitversion function declaration.
static void	CheckConstPureAttributesUsage (Sema &S, FunctionDecl *NewFD)
static bool	isDefaultStdCall (FunctionDecl *FD, Sema &S)
static bool	looksMutable (QualType T, const ASTContext &Ctx)
static bool	hasDeducedAuto (DeclaratorDecl *DD)
static void	CheckExplicitObjectParameter (Sema &S, ParmVarDecl *P, SourceLocation ExplicitThisLoc)
static bool	FindPossiblePrototype (const FunctionDecl *FD, const FunctionDecl *&PossiblePrototype)
static bool	ShouldWarnAboutMissingPrototype (const FunctionDecl *FD, const FunctionDecl *&PossiblePrototype)
static void	diagnoseImplicitlyRetainedSelf (Sema &S)
static bool	methodHasName (const FunctionDecl *FD, StringRef Name)
static unsigned	getRedeclDiagFromTagKind (TagTypeKind Tag)
	Get diagnostic select index for tag kind for redeclaration diagnostic message.
static bool	isClassCompatTagKind (TagTypeKind Tag)
	Determine if tag kind is a class-key compatible with class for redeclaration (class, struct, or __interface).
static FixItHint	createFriendTagNNSFixIt (Sema &SemaRef, NamedDecl *ND, Scope *S, SourceLocation NameLoc)
	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.
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).
static void	ComputeSelectedDestructor (Sema &S, CXXRecordDecl *Record)
	[class.dtor]p4: At the end of the definition of a class, overload resolution is performed among the prospective destructors declared in that class with an empty argument list to select the destructor for the class, also known as the selected destructor.
static bool	AreSpecialMemberFunctionsSameKind (ASTContext &Context, CXXMethodDecl *M1, CXXMethodDecl *M2, CXXSpecialMemberKind CSM)
	[class.mem.special]p5 Two special member functions are of the same kind if:
static void	SetEligibleMethods (Sema &S, CXXRecordDecl *Record, ArrayRef< CXXMethodDecl * > Methods, CXXSpecialMemberKind CSM)
	[class.mem.special]p6: An eligible special member function is a special member function for which:
static void	ComputeSpecialMemberFunctionsEligiblity (Sema &S, CXXRecordDecl *Record)
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	CheckForComparisonInEnumInitializer (SemaBase &Sema, const EnumDecl *Enum)

Macro Definition Documentation

TRANSFORM_TYPE_TRAIT_DEF

#define TRANSFORM_TYPE_TRAIT_DEF	(		_,
			Trait )

Value:

case DeclSpec::TST_##Trait:

WANT_DECL_MERGE_LOGIC

#define WANT_DECL_MERGE_LOGIC

Definition at line 2882 of file SemaDecl.cpp.

Enumeration Type Documentation

OpenCLParamType

enum OpenCLParamType

Enumerator
ValidKernelParam
PtrPtrKernelParam
PtrKernelParam
InvalidAddrSpacePtrKernelParam
InvalidKernelParam
RecordKernelParam

Definition at line 9713 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
SDK_StructuredBinding

Definition at line 8454 of file SemaDecl.cpp.

Function Documentation

adjustDeclContextForDeclaratorDecl()

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 3669 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::MergeFunctionDecl(), and clang::Sema::MergeVarDecl().

AllowOverloadingOfFunction()

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

static

Determine whether overloading is allowed for a new function declaration considering prior declarations of the same name.

This routine determines whether overloading is possible, not whether a new declaration actually overloads a previous one. It will return true in C++ (where overloads are always permitted) or, as a C extension, when either the new declaration or a previous one is declared with the 'overloadable' attribute.

Definition at line 1547 of file SemaDecl.cpp.

References clang::Found, clang::FoundOverloaded, clang::Decl::hasAttr(), New, and Previous.

Referenced by clang::Sema::CheckFunctionDeclaration(), and CheckMultiVersionAdditionalDecl().

AreSpecialMemberFunctionsSameKind()

bool AreSpecialMemberFunctionsSameKind ( ASTContext & Context, CXXMethodDecl * M1, CXXMethodDecl * M2, CXXSpecialMemberKind CSM )

static

[class.mem.special]p5 Two special member functions are of the same kind if:

• they are both default constructors,
• they are both copy or move constructors with the same first parameter type, or
• they are both copy or move assignment operators with the same first parameter type and the same cv-qualifiers and ref-qualifier, if any.

Definition at line 19707 of file SemaDecl.cpp.

References bool, clang::DefaultConstructor, clang::FunctionDecl::getDescribedFunctionTemplate(), clang::CXXMethodDecl::getFunctionObjectParameterReferenceType(), clang::FunctionDecl::getNonObjectParameter(), and clang::ValueDecl::getType().

Referenced by SetEligibleMethods().

AttrCompatibleWithMultiVersion()

bool AttrCompatibleWithMultiVersion ( attr::Kind Kind, MultiVersionKind MVKind )

static

Definition at line 11441 of file SemaDecl.cpp.

References clang::Target, clang::TargetClones, and clang::TargetVersion.

Referenced by checkNonMultiVersionCompatAttributes().

canRedefineFunction()

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 3579 of file SemaDecl.cpp.

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

Referenced by clang::Sema::CheckForFunctionRedefinition(), and clang::Sema::MergeFunctionDecl().

checkAliasAttr()

void checkAliasAttr ( Sema & S, NamedDecl & ND )

static

Definition at line 7108 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), and clang::Attr::getLocation().

Referenced by checkAttributesAfterMerging().

CheckAnonMemberRedeclaration()

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

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 5501 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::Sema::DiagPlaceholderVariableDefinition(), ForVisibleRedeclaration, clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::Sema::isDeclInScope(), clang::DeclContext::isFunctionOrMethod(), clang::NamedDecl::isPlaceholderVar(), clang::DeclContext::isRecord(), clang::Sema::LookupMemberName, clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, and clang::SC_None.

Referenced by InjectAnonymousStructOrUnionMembers().

checkAttributesAfterMerging()

void checkAttributesAfterMerging ( Sema & S, NamedDecl & ND )

static

Definition at line 7226 of file SemaDecl.cpp.

References checkAliasAttr(), checkHybridPatchableAttr(), checkInheritableAttr(), checkLifetimeBoundAttr(), checkModularFormatAttr(), checkSelectAnyAttr(), checkWeakAttr(), checkWeakRefAttr(), and clang::Sema::ParsingInitForAutoVars.

Referenced by clang::Sema::ActOnFunctionDeclarator(), and clang::Sema::FinalizeDeclaration().

CheckC23ConstexprVarType()

bool CheckC23ConstexprVarType ( Sema & SemaRef, SourceLocation VarLoc, QualType T )

static

Definition at line 8852 of file SemaDecl.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::RecordDecl::fields(), clang::Type::getAsRecordDecl(), clang::ASTContext::getBaseElementType(), clang::ASTContext::getCanonicalType(), clang::Type::isAtomicType(), clang::Decl::isInvalidDecl(), clang::Type::isRecordType(), clang::QualType::isRestrictQualified(), clang::Type::isVariablyModifiedType(), and clang::QualType::isVolatileQualified().

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

CheckConstPureAttributesUsage()

void CheckConstPureAttributesUsage ( Sema & S, FunctionDecl * NewFD )

static

Definition at line 12209 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::Decl::dropAttrs(), clang::Decl::getLocation(), clang::FunctionDecl::getReturnType(), clang::Decl::hasAttr(), and clang::Type::isVoidType().

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

CheckDeclarationCausesMultiVersioning()

bool CheckDeclarationCausesMultiVersioning ( Sema & S, FunctionDecl * OldFD, FunctionDecl * NewFD, bool & Redeclaration, NamedDecl *& OldDecl, LookupResult & Previous )

static

Definition at line 11726 of file SemaDecl.cpp.

References CheckMultiVersionAdditionalRules(), CheckMultiVersionValue(), clang::SemaBase::Diag(), clang::ParsedTargetAttr::Features, clang::Sema::getASTContext(), clang::Decl::getAttr(), clang::Decl::getLocation(), clang::ASTContext::getTargetInfo(), clang::FunctionDecl::isMultiVersion(), clang::TargetInfo::parseTargetAttr(), patchDefaultTargetVersion(), Previous, PreviousDeclsHaveMultiVersionAttribute(), clang::Redeclaration, clang::FunctionDecl::redecls(), clang::Decl::setInvalidDecl(), clang::FunctionDecl::setIsMultiVersion(), clang::Target, and clang::TargetVersion.

Referenced by CheckMultiVersionFunction().

checkDLLAttributeRedeclaration()

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

static

Definition at line 7241 of file SemaDecl.cpp.

References clang::Decl::addAttr(), clang::Sema::Context, clang::VarDecl::DeclarationOnly, clang::SemaBase::Diag(), clang::Decl::dropAttr(), clang::Decl::FOK_Declared, clang::Decl::getAttr(), clang::Decl::getLocation(), clang::ASTContext::getTargetInfo(), clang::isa(), clang::NamedDecl::isCXXClassMember(), clang::Decl::isImplicit(), clang::Decl::isInvalidDecl(), clang::Decl::isLocalExternDecl(), clang::Decl::isUsed(), clang::Decl::setInvalidDecl(), clang::TargetInfo::shouldDLLImportComdatSymbols(), clang::FunctionDecl::TK_MemberSpecialization, and clang::FunctionDecl::TK_NonTemplate.

Referenced by clang::Sema::ActOnFunctionDeclarator(), and clang::Sema::ActOnVariableDeclarator().

checkDuplicateDefaultInit() [1/2]

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

static

Definition at line 5690 of file SemaDecl.cpp.

References checkDuplicateDefaultInit(), findDefaultInitializer(), clang::CXXRecordDecl::hasInClassInitializer(), and clang::TagDecl::isUnion().

checkDuplicateDefaultInit() [2/2]

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

static

Definition at line 5681 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), findDefaultInitializer(), clang::CXXRecordDecl::hasInClassInitializer(), and clang::TagDecl::isUnion().

Referenced by clang::Sema::BuildAnonymousStructOrUnion(), checkDuplicateDefaultInit(), and clang::Sema::CheckFieldDecl().

CheckExplicitObjectParameter()

void CheckExplicitObjectParameter ( Sema & S, ParmVarDecl * P, SourceLocation ExplicitThisLoc )

static

Definition at line 15643 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::DeclaratorDecl::getBeginLoc(), clang::Sema::getCurLambda(), clang::Sema::getLangOpts(), clang::ParmVarDecl::getSourceRange(), clang::ValueDecl::isParameterPack(), clang::SourceLocation::isValid(), and clang::ParmVarDecl::setExplicitObjectParameterLoc().

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

CheckForComparisonInEnumInitializer()

void CheckForComparisonInEnumInitializer ( SemaBase & Sema, const EnumDecl * Enum )

static

Definition at line 20886 of file SemaDecl.cpp.

References clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::Enum, clang::BinaryOperator::getOpcodeStr(), and clang::Expr::IgnoreParenImpCasts().

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

checkForConflictWithNonVisibleExternC()

template<typename T>

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 8821 of file SemaDecl.cpp.

References checkGlobalOrExternCConflict(), clang::Sema::findLocallyScopedExternCDecl(), clang::Sema::getLangOpts(), isIncompleteDeclExternC(), and Previous.

Referenced by clang::Sema::CheckFunctionDeclaration(), and clang::Sema::CheckVariableDeclaration().

CheckForDuplicateEnumValues()

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

static

Definition at line 20745 of file SemaDecl.cpp.

References clang::cast(), clang::SemaBase::Diag(), clang::Sema::Diags, clang::Enum, clang::EnumConstantDecl::getInitExpr(), clang::DiagnosticsEngine::isIgnored(), toString(), and ValidDuplicateEnum().

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

checkGlobalOrExternCConflict()

template<typename T>

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 8738 of file SemaDecl.cpp.

References clang::cast(), clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::findLocallyScopedExternCDecl(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::ASTContext::getTranslationUnitDecl(), clang::isa(), isIncompleteDeclExternC(), clang::DeclContext::lookup(), and Previous.

Referenced by checkForConflictWithNonVisibleExternC().

checkHybridPatchableAttr()

void checkHybridPatchableAttr ( Sema & S, NamedDecl & ND )

static

Definition at line 7133 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::Decl::getAttr(), clang::Attr::getLocation(), and clang::NamedDecl::isExternallyVisible().

Referenced by checkAttributesAfterMerging().

checkInheritableAttr()

void checkInheritableAttr ( Sema & S, NamedDecl & ND )

static

Definition at line 7141 of file SemaDecl.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::TargetInfo::getCXXABI(), clang::getDLLAttr(), clang::Decl::getLocation(), clang::DeclContext::getParent(), clang::ASTContext::getTargetInfo(), clang::NamespaceDecl::isAnonymousNamespace(), clang::NamedDecl::isExternallyVisible(), clang::TargetCXXABI::isMicrosoft(), and clang::Decl::setInvalidDecl().

Referenced by checkAttributesAfterMerging().

checkIsValidOpenCLKernelParameter()

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

static

Definition at line 9850 of file SemaDecl.cpp.

References clang::cast(), clang::Type::castAsRecordDecl(), clang::SemaBase::Diag(), clang::RecordDecl::fields(), clang::Type::getAs(), clang::Decl::getLocation(), getOpenCLKernelParameterType(), clang::Type::getPointeeOrArrayElementType(), clang::ValueDecl::getType(), clang::QualType::getTypePtr(), InvalidAddrSpacePtrKernelParam, InvalidKernelParam, clang::Type::isArrayType(), clang::Type::isHalfType(), clang::Type::isPointerType(), clang::Type::isRecordType(), clang::Type::isUnionType(), clang::SourceLocation::isValid(), Next, PtrKernelParam, PtrPtrKernelParam, RecordKernelParam, clang::Declarator::setInvalidType(), and ValidKernelParam.

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

checkLifetimeBoundAttr()

void checkLifetimeBoundAttr ( Sema & S, NamedDecl & ND )

static

Definition at line 7168 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::TypeLoc::getAsAdjusted(), clang::Decl::getAttr(), clang::AttributedTypeLoc::getAttrAs(), clang::AttributedTypeLoc::getModifiedLoc(), and clang::isa().

Referenced by checkAttributesAfterMerging().

checkModularFormatAttr()

void checkModularFormatAttr ( Sema & S, NamedDecl & ND )

static

Definition at line 7221 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::Decl::getLocation(), and clang::Decl::hasAttr().

Referenced by checkAttributesAfterMerging().

CheckMultiVersionAdditionalDecl()

bool CheckMultiVersionAdditionalDecl ( Sema & S, FunctionDecl * OldFD, FunctionDecl * NewFD, const CPUDispatchAttr * NewCPUDisp, const CPUSpecificAttr * NewCPUSpec, const TargetClonesAttr * NewClones, bool & Redeclaration, NamedDecl *& OldDecl, LookupResult & Previous )

static

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

Definition at line 11853 of file SemaDecl.cpp.

References AllowOverloadingOfFunction(), CheckMultiVersionAdditionalRules(), CheckMultiVersionValue(), clang::Sema::Context, clang::CPUDispatch, clang::CPUSpecific, clang::Sema::CurContext, clang::SemaBase::Diag(), clang::ParsedTargetAttr::Features, clang::Decl::getAsFunction(), clang::Sema::getASTContext(), clang::Decl::getAttr(), clang::Decl::getFriendObjectKind(), clang::Decl::getLocation(), clang::FunctionDecl::getMultiVersionKind(), clang::ASTContext::getTargetInfo(), clang::Decl::hasAttr(), clang::Decl::isInvalidDecl(), clang::FunctionDecl::isMultiVersion(), clang::Sema::IsOverload(), clang::DeclContext::isRecord(), MultiVersionTypesCompatible(), New, clang::None, clang::TargetInfo::parseTargetAttr(), patchDefaultTargetVersion(), Previous, clang::Redeclaration, clang::Decl::setInvalidDecl(), clang::FunctionDecl::setIsMultiVersion(), clang::Target, clang::TargetClones, and clang::TargetVersion.

Referenced by CheckMultiVersionFunction().

CheckMultiVersionAdditionalRules()

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

static

Definition at line 11628 of file SemaDecl.cpp.

References clang::Sema::areMultiversionVariantFunctionsCompatible(), checkNonMultiVersionCompatAttributes(), clang::CPUDispatch, clang::CPUSpecific, clang::SemaBase::Diag(), clang::Sema::getASTContext(), clang::Decl::getLocation(), clang::ASTContext::getTargetInfo(), clang::Decl::isUsed(), clang::SemaBase::PDiag(), and clang::TargetInfo::supportsMultiVersioning().

Referenced by CheckDeclarationCausesMultiVersioning(), CheckMultiVersionAdditionalDecl(), and CheckMultiVersionFirstFunction().

CheckMultiVersionFirstFunction()

bool CheckMultiVersionFirstFunction ( Sema & S, FunctionDecl * FD )

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 11677 of file SemaDecl.cpp.

References CheckMultiVersionAdditionalRules(), CheckMultiVersionValue(), clang::Decl::getAttr(), clang::FunctionDecl::getMultiVersionKind(), clang::None, clang::Decl::setInvalidDecl(), and clang::FunctionDecl::setIsMultiVersion().

Referenced by CheckMultiVersionFunction().

CheckMultiVersionFunction()

bool CheckMultiVersionFunction ( Sema & S, FunctionDecl * NewFD, bool & Redeclaration, NamedDecl *& OldDecl, 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 12114 of file SemaDecl.cpp.

References CheckDeclarationCausesMultiVersioning(), CheckMultiVersionAdditionalDecl(), CheckMultiVersionFirstFunction(), clang::CPUDispatch, clang::CPUSpecific, clang::SemaBase::Diag(), clang::DeclContext::Equals(), clang::Decl::getAsFunction(), clang::Sema::getASTContext(), clang::Decl::getAttr(), clang::Decl::getDeclContext(), clang::Decl::getLocation(), clang::FunctionDecl::getMultiVersionKind(), clang::DeclContext::getRedeclContext(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), clang::TargetInfo::hasFeature(), clang::FunctionDecl::isMain(), clang::FunctionDecl::isMultiVersion(), clang::Decl::isUsed(), clang::None, Previous, clang::Redeclaration, clang::Decl::setInvalidDecl(), clang::FunctionDecl::setIsMultiVersion(), clang::Target, clang::TargetClones, and clang::TargetVersion.

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

CheckMultiVersionValue()

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

static

Check the target or target_version attribute of the function for MultiVersion validity.

Returns true if there was an error, false otherwise.

Definition at line 11381 of file SemaDecl.cpp.

References clang::Sema::Context, clang::ParsedTargetAttr::CPU, clang::SemaBase::Diag(), Feature, clang::ParsedTargetAttr::Features, clang::Sema::getASTContext(), clang::Decl::getAttr(), clang::TargetInfo::getFMVPriority(), clang::Decl::getLocation(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), clang::TargetInfo::isValidFeatureName(), clang::TargetInfo::parseTargetAttr(), clang::TargetInfo::validateCpuIs(), and clang::TargetInfo::validateCpuSupports().

Referenced by CheckDeclarationCausesMultiVersioning(), CheckMultiVersionAdditionalDecl(), and CheckMultiVersionFirstFunction().

checkNewAttributesAfterDef()

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 3037 of file SemaDecl.cpp.

References clang::cast(), clang::Sema::CheckForFunctionRedefinition(), clang::VarDecl::Definition, clang::SemaBase::Diag(), Diag(), clang::NamedDecl::getDeclName(), getDefinition(), clang::Attr::getKind(), clang::Sema::getLangOpts(), clang::Attr::getLocation(), clang::Decl::getLocation(), clang::hasAttribute(), clang::isa(), clang::AttributeCommonInfo::isStandardAttributeSyntax(), New, clang::Sema::notePreviousDefinition(), clang::Decl::setInvalidDecl(), clang::SkipBodyInfo::ShouldSkip, and clang::VarDecl::TentativeDefinition.

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

checkNonMultiVersionCompatAttributes()

bool checkNonMultiVersionCompatAttributes ( Sema & S, const FunctionDecl * FD, const FunctionDecl * CausedFD, MultiVersionKind MVKind )

static

Definition at line 11459 of file SemaDecl.cpp.

References AttrCompatibleWithMultiVersion(), clang::Decl::attrs(), clang::CPUDispatch, clang::CPUSpecific, clang::SemaBase::Diag(), clang::Decl::getLocation(), clang::Target, clang::TargetClones, and clang::TargetVersion.

Referenced by CheckMultiVersionAdditionalRules().

CheckPoppedLabel()

void CheckPoppedLabel ( LabelDecl * L, Sema & S, Sema::DiagReceiverTy DiagReceiver )

static

Definition at line 2260 of file SemaDecl.cpp.

References clang::Decl::getLocation(), clang::LabelDecl::getStmt(), clang::LabelDecl::isMSAsmLabel(), clang::LabelDecl::isResolvedMSAsmLabel(), and clang::SemaBase::PDiag().

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

checkSelectAnyAttr()

void checkSelectAnyAttr ( Sema & S, NamedDecl & ND )

static

Definition at line 7121 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::Decl::dropAttr(), clang::Decl::getAttr(), clang::Attr::getLocation(), clang::isa(), and clang::NamedDecl::isExternallyVisible().

Referenced by checkAttributesAfterMerging().

checkUsingShadowRedecl()

template<typename ExpectedDecl>

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 3616 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::UsingShadowDecl::getIntroducer(), clang::Decl::getLocation(), clang::UsingShadowDecl::getTargetDecl(), isExternC(), and New.

Referenced by clang::Sema::MergeFunctionDecl(), and clang::Sema::MergeVarDecl().

checkWeakAttr()

void checkWeakAttr ( Sema & S, NamedDecl & ND )

static

Definition at line 7089 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::Decl::dropAttr(), clang::Decl::getAttr(), clang::Attr::getLocation(), and clang::NamedDecl::isExternallyVisible().

Referenced by checkAttributesAfterMerging().

checkWeakRefAttr()

void checkWeakRefAttr ( Sema & S, NamedDecl & ND )

static

Definition at line 7099 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::Decl::dropAttrs(), clang::Decl::getAttr(), clang::Attr::getLocation(), and clang::NamedDecl::isExternallyVisible().

Referenced by checkAttributesAfterMerging().

ComputeSelectedDestructor()

void ComputeSelectedDestructor ( Sema & S, CXXRecordDecl * Record )

static

[class.dtor]p4: At the end of the definition of a class, overload resolution is performed among the prospective destructors declared in that class with an empty argument list to select the destructor for the class, also known as the selected destructor.

We do the overload resolution here, then mark the selected constructor in the AST. Later CXXRecordDecl::getDestructor() will return the selected constructor.

Definition at line 19641 of file SemaDecl.cpp.

References clang::Sema::AddOverloadCandidate(), clang::OverloadCandidateSet::begin(), clang::OverloadCandidateSet::BestViableFunction(), clang::OverloadCandidateSet::CSK_Normal, Diag(), clang::OverloadCandidateSet::empty(), clang::Sema::LangOpts, clang::DeclAccessPair::make(), clang::OverloadCandidateSet::NoteCandidates(), clang::OCD_AllCandidates, clang::OCD_AmbiguousCandidates, clang::OR_Ambiguous, clang::OR_Deleted, clang::OR_No_Viable_Function, clang::OR_Success, and clang::SemaBase::PDiag().

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

computeShadowedDeclKind()

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

static

Determine what kind of declaration we're shadowing.

Definition at line 8465 of file SemaDecl.cpp.

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

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

ComputeSpecialMemberFunctionsEligiblity()

void ComputeSpecialMemberFunctionsEligiblity ( Sema & S, CXXRecordDecl * Record )

static

Definition at line 19798 of file SemaDecl.cpp.

References clang::CopyAssignment, clang::CopyConstructor, clang::DefaultConstructor, clang::CXXMethodDecl::isCopyAssignmentOperator(), clang::CXXMethodDecl::isMoveAssignmentOperator(), clang::MoveAssignment, clang::MoveConstructor, and SetEligibleMethods().

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

copyAttrFromTypedefToDecl()

template<typename AttrTy>

void copyAttrFromTypedefToDecl ( Sema & S, Decl * D, const TypedefType * TT )

static

Definition at line 7609 of file SemaDecl.cpp.

References clang::Decl::addAttr(), clang::Sema::Context, clang::Decl::getAttr(), and clang::TypedefType::getDecl().

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

createFriendTagNNSFixIt()

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

static

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::*‍/ X; }; } }

Definition at line 17875 of file SemaDecl.cpp.

References clang::FixItHint::CreateInsertion(), clang::Decl::getDeclContext(), clang::DeclContext::getParent(), clang::DeclContext::getRedeclContext(), clang::DeclContext::isTranslationUnit(), clang::Sema::LookupNestedNameSpecifierName, and clang::Sema::LookupSingleName().

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

CreateNewFunctionDecl()

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

static

Definition at line 9540 of file SemaDecl.cpp.

References clang::Sema::AdjustDestructorExceptionSpec(), clang::cast(), clang::Sema::CheckConstructorDeclarator(), clang::Sema::CheckConversionDeclarator(), clang::Sema::CheckDeductionGuideDeclarator(), clang::Sema::CheckDestructorDeclarator(), clang::Sema::CheckExplicitObjectMemberFunction(), clang::DeclSpec::ClearConstexprSpec(), clang::Constexpr, clang::Constinit, clang::Sema::Context, clang::CXXConstructorDecl::Create(), clang::CXXConversionDecl::Create(), clang::CXXDeductionGuideDecl::Create(), clang::CXXDestructorDecl::Create(), clang::CXXMethodDecl::Create(), clang::FunctionDecl::Create(), clang::Sema::CurContext, clang::DeclarationName::CXXConstructorName, clang::DeclarationName::CXXConversionFunctionName, clang::DeclarationName::CXXDeductionGuideName, clang::DeclarationName::CXXDestructorName, clang::SemaBase::Diag(), clang::DeclarationName::getAsIdentifierInfo(), clang::Declarator::getBeginLoc(), clang::DeclSpec::getConstexprSpecifier(), clang::DeclSpec::getConstexprSpecLoc(), clang::Sema::getCurFPFeatures(), clang::Declarator::getDeclSpec(), clang::Declarator::getEndLoc(), clang::DeclSpec::getExplicitSpecifier(), clang::Declarator::getFunctionTypeInfo(), clang::Declarator::getIdentifierLoc(), clang::Sema::getLangOpts(), clang::Declarator::getMutableDeclSpec(), clang::DeclarationNameInfo::getName(), clang::Sema::GetNameForDeclarator(), clang::DeclarationName::getNameKind(), clang::DeclSpec::getRepAsType(), clang::Declarator::getTrailingRequiresClause(), clang::Sema::GetTypeFromParser(), clang::DeclSpec::getTypeSpecTypeLoc(), clang::DeclaratorChunk::FunctionTypeInfo::hasPrototype, clang::FPOptions::isFPConstrained(), clang::DeclSpec::isFriendSpecified(), clang::Declarator::isFunctionDeclarator(), clang::Type::isFunctionProtoType(), clang::DeclSpec::isInlineSpecified(), clang::Declarator::isInvalidType(), clang::DeclContext::isRecord(), clang::Normal, clang::LangOptions::requiresStrictPrototypes(), clang::FunctionDecl::setIneligibleOrNotSelected(), clang::Decl::setInvalidDecl(), clang::Declarator::setInvalidType(), and clang::Unspecified.

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

DeclHasAttr()

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

static

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

Definition at line 2744 of file SemaDecl.cpp.

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

Referenced by mergeDeclAttribute(), and propagateAttribute().

diagnoseImplicitlyRetainedSelf()

void diagnoseImplicitlyRetainedSelf ( Sema & S )

static

Definition at line 16579 of file SemaDecl.cpp.

References clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::BlockDecl::doesNotEscape(), clang::DeclContext::getInnermostBlockDecl(), clang::DeclContext::getParent(), and clang::Sema::ImplicitlyRetainedSelfLocs.

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

DiagnoseInvalidRedeclaration()

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 9346 of file SemaDecl.cpp.

References clang::Sema::ActOnFunctionDeclarator(), clang::LookupResult::begin(), clang::TypoCorrection::begin(), clang::Sema::Context, clang::Sema::CorrectTypo(), clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateRemoval(), clang::SemaBase::Diag(), clang::Sema::diagnoseTypo(), clang::LookupResult::empty(), clang::LookupResult::end(), clang::TypoCorrection::end(), clang::ErrorRecovery, ForVisibleRedeclaration, clang::Func, clang::DeclarationName::getAsIdentifierInfo(), clang::TypoCorrection::getCorrection(), clang::TypoCorrection::getCorrectionAsIdentifierInfo(), clang::TypoCorrection::getCorrectionDecl(), clang::Declarator::getCXXScopeSpec(), clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::SourceRange::getEnd(), clang::Decl::getFriendObjectKind(), clang::Declarator::getFunctionTypeInfo(), clang::Declarator::getIdentifierLoc(), clang::Decl::getLocation(), clang::LookupResult::getLookupKind(), clang::LookupResult::getLookupNameInfo(), clang::NamedDecl::getName(), clang::FunctionDecl::getParamDecl(), clang::CXXMethodDecl::getParent(), clang::FunctionDecl::getSourceRange(), clang::ValueDecl::getType(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::DeclaratorDecl::getTypeSpecStartLoc(), clang::FunctionDecl::hasBody(), clang::Sema::SFINAETrap::hasErrorOccurred(), hasSimilarParameters(), clang::LookupResult::isAmbiguous(), clang::CXXMethodDecl::isConst(), clang::Declarator::isFunctionDefinition(), clang::SourceLocation::isInvalid(), clang::Declarator::isRedeclaration(), clang::Sema::LookupLocalFriendName, clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::MarkTypoCorrectedFunctionDefinition(), clang::SemaBase::PDiag(), Previous, clang::TypoCorrection::setCorrectionDecl(), clang::Declarator::SetIdentifier(), clang::Decl::setInvalidDecl(), and clang::Declarator::setRedeclaration().

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

diagnoseMissingConstinit()

void diagnoseMissingConstinit ( Sema & S, const VarDecl * InitDecl, const ConstInitAttr * CIAttr, bool AttrBeforeInit )

static

Definition at line 3182 of file SemaDecl.cpp.

References clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateRemoval(), clang::SemaBase::Diag(), clang::DeclaratorDecl::getInnerLocStart(), clang::Sema::getLangOpts(), clang::Preprocessor::getLastMacroWithSpelling(), clang::Decl::getLocation(), and clang::Sema::PP.

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

diagnoseOpenCLTypes()

bool diagnoseOpenCLTypes ( Sema & Se, VarDecl * NewVD )

static

Returns true if there hasn't been any invalid type diagnosed.

Definition at line 7513 of file SemaDecl.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::ASTContext::getBaseElementType(), clang::DeclaratorDecl::getBeginLoc(), clang::Decl::getDeclContext(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::Sema::getOpenCLOptions(), clang::Type::getPointeeType(), clang::ValueDecl::getType(), clang::VarDecl::hasGlobalStorage(), clang::OpenCLOptions::isAvailableOption(), clang::Type::isFunctionPointerType(), clang::Type::isFunctionReferenceType(), clang::Type::isHalfType(), clang::Decl::isInvalidDecl(), clang::Type::isMemberFunctionPointerType(), clang::Type::isPointerType(), clang::Type::isReferenceType(), clang::VarDecl::isStaticLocal(), clang::DeclContext::isTranslationUnit(), clang::opencl_constant, clang::opencl_global, clang::opencl_local, clang::opencl_private, and clang::Decl::setInvalidDecl().

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

diagnoseVarDeclTypeMismatch()

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

static

Definition at line 4557 of file SemaDecl.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), getNoteDiagForInvalidRedeclaration(), clang::ValueDecl::getType(), clang::ASTContext::hasSameType(), and New.

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

emitReadOnlyPlacementAttrWarning()

void emitReadOnlyPlacementAttrWarning ( Sema & S, const VarDecl * VD )

static

Definition at line 7621 of file SemaDecl.cpp.

References clang::SemaBase::Diag(), clang::Type::getAsRecordDecl(), clang::Sema::getASTContext(), clang::Decl::getAttr(), clang::ASTContext::getBaseElementType(), clang::QualType::getCanonicalType(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::VarDecl::hasLocalStorage(), clang::Type::isArrayType(), and clang::QualType::isConstQualified().

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

EquivalentArrayTypes()

bool EquivalentArrayTypes ( QualType Old, QualType New, const ASTContext & Ctx )

static

Definition at line 3465 of file SemaDecl.cpp.

References clang::ASTContext::getAsConstantArrayType(), clang::ASTContext::getAsVariableArrayType(), clang::ConstantArrayType::getSize(), clang::Type::isConstantArrayType(), clang::Type::isDependentSizedArrayType(), clang::Type::isVariableArrayType(), New, and clang::Star.

Referenced by mergeParamDeclTypes().

filterNonConflictingPreviousTypedefDecls()

void filterNonConflictingPreviousTypedefDecls ( Sema & S, const 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 2495 of file SemaDecl.cpp.

References clang::Sema::Context, clang::Sema::getLangOpts(), clang::ASTContext::hasSameType(), clang::Sema::isVisible(), and Previous.

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

findDefaultInitializer()

SourceLocation findDefaultInitializer ( const CXXRecordDecl * Record )

static

Definition at line 5667 of file SemaDecl.cpp.

Referenced by checkDuplicateDefaultInit(), and checkDuplicateDefaultInit().

FindPossiblePrototype()

bool FindPossiblePrototype ( const FunctionDecl * FD, const FunctionDecl *& PossiblePrototype )

static

Definition at line 16042 of file SemaDecl.cpp.

References clang::FunctionDecl::getPreviousDecl(), clang::ValueDecl::getType(), and clang::Type::isFunctionProtoType().

Referenced by clang::Sema::ActOnFinishFunctionBody(), and ShouldWarnAboutMissingPrototype().

findRecordWithDependentBasesOfEnclosingMethod()

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 631 of file SemaDecl.cpp.

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

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

FixInvalidVariablyModifiedTypeLoc()

void FixInvalidVariablyModifiedTypeLoc ( TypeLoc SrcTL, TypeLoc DstTL )

static

Definition at line 6764 of file SemaDecl.cpp.

References clang::TypeLoc::castAs(), FixInvalidVariablyModifiedTypeLoc(), 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().

Referenced by FixInvalidVariablyModifiedTypeLoc(), and TryToFixInvalidVariablyModifiedTypeSourceInfo().

GenerateFixForUnusedDecl()

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

static

Definition at line 2124 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(), clang::isa(), and clang::SourceLocation::isInvalid().

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

getCaptureLocation()

SourceLocation getCaptureLocation ( const LambdaScopeInfo * LSI, const ValueDecl * 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 8481 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()

QualType getCoreType ( QualType Ty )

static

Definition at line 6138 of file SemaDecl.cpp.

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

Referenced by hasSimilarParameters().

getDefinition()

const NamedDecl * getDefinition ( const Decl * D )

static

Definition at line 3008 of file SemaDecl.cpp.

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

Referenced by clang::Sema::ActOnTag(), checkNewAttributesAfterDef(), clang::CodeGen::CodeGenFunction::EmitDecl(), clang::CodeGen::CodeGenModule::EmitTopLevelDecl(), clang::serialization::getDefinitiveDeclContext(), and clang::Sema::InstantiateFunctionDefinition().

GetDiagnosticTypeSpecifierID()

unsigned GetDiagnosticTypeSpecifierID ( const DeclSpec & DS )

static

Definition at line 5221 of file SemaDecl.cpp.

References clang::DeclSpec::getRepAsDecl(), clang::DeclSpec::getTypeSpecType(), clang::DeclSpec::TST_class, clang::DeclSpec::TST_enum, clang::DeclSpec::TST_interface, clang::DeclSpec::TST_struct, and clang::DeclSpec::TST_union.

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

getFunctionStorageClass()

StorageClass getFunctionStorageClass ( Sema & SemaRef, Declarator & D )

static

Definition at line 9504 of file SemaDecl.cpp.

References clang::DeclSpec::ClearStorageClassSpecs(), clang::Sema::CurContext, clang::SemaBase::Diag(), clang::Declarator::getDeclSpec(), clang::Declarator::getMutableDeclSpec(), clang::DeclContext::getRedeclContext(), clang::DeclSpec::getStorageClassSpec(), clang::DeclSpec::getStorageClassSpecLoc(), clang::DeclSpec::isExternInLinkageSpec(), clang::DeclContext::isFunctionOrMethod(), clang::SC_Extern, clang::SC_None, clang::SC_PrivateExtern, 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_unspecified, and clang::Declarator::setInvalidType().

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

getHeaderName()

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

static

Definition at line 2368 of file SemaDecl.cpp.

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

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

getImplicitCodeSegAttrFromClass()

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 &ndash; this includes compiler-generated special member functions &ndash; 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 11288 of file SemaDecl.cpp.

References clang::Attr::clone(), clang::Sema::CodeSegStack, clang::Sema::getASTContext(), clang::Decl::getAttr(), clang::DeclContext::getParent(), and clang::Attr::setImplicit().

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

getMSManglingNumber()

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

static

Definition at line 5034 of file SemaDecl.cpp.

References clang::Scope::getMSCurManglingNumber(), clang::Scope::getMSLastManglingNumber(), clang::LangOptions::isCompatibleWithMSVC(), and clang::LangOptionsBase::MSVC2015.

Referenced by clang::Sema::ActOnVariableDeclarator(), clang::Sema::BuildAnonymousStructOrUnion(), and clang::Sema::handleTagNumbering().

getNextLargerIntegralType()

QualType getNextLargerIntegralType ( ASTContext & Context, QualType T )

static

Definition at line 20390 of file SemaDecl.cpp.

References clang::Type::isSignedIntegerOrEnumerationType().

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

getNonCLikeKindForAnonymousStruct()

NonCLikeKind getNonCLikeKindForAnonymousStruct ( const CXXRecordDecl * RD )

static

Determine whether a class is C-like, according to the rules of C++ [dcl.typedef] for anonymous classes with typedef names for linkage.

Definition at line 5088 of file SemaDecl.cpp.

References clang::CXXRecordDecl::bases_begin(), clang::CXXRecordDecl::bases_end(), clang::DeclContext::decls(), clang::CXXBaseSpecifier::getBeginLoc(), clang::CXXBaseSpecifier::getEndLoc(), getNonCLikeKindForAnonymousStruct(), clang::CXXRecordDecl::getNumBases(), clang::DeclaratorDecl::getSourceRange(), clang::Init, clang::Invalid, clang::isa(), clang::Decl::isImplicit(), and clang::Decl::isInvalidDecl().

Referenced by getNonCLikeKindForAnonymousStruct(), and clang::Sema::setTagNameForLinkagePurposes().

getNoteDiagForInvalidRedeclaration()

template<typename T>

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

static

Definition at line 3558 of file SemaDecl.cpp.

References clang::SourceLocation::isInvalid(), and New.

Referenced by diagnoseVarDeclTypeMismatch(), clang::Sema::MergeFunctionDecl(), and clang::Sema::MergeVarDecl().

getOpenCLKernelParameterType()

OpenCLParamType getOpenCLKernelParameterType ( Sema & S, QualType PT )

static

Definition at line 9744 of file SemaDecl.cpp.

References clang::Sema::Context, clang::Default, clang::QualType::getAddressSpace(), clang::Type::getAsCXXRecordDecl(), clang::Sema::getASTContext(), clang::QualType::getCanonicalType(), clang::Sema::getLangOpts(), clang::LangOptions::getOpenCLCompatibleVersion(), getOpenCLKernelParameterType(), clang::Sema::getOpenCLOptions(), clang::Type::getPointeeOrArrayElementType(), clang::Type::getPointeeType(), InvalidAddrSpacePtrKernelParam, InvalidKernelParam, clang::Type::isArrayType(), clang::Type::isAtomicType(), clang::OpenCLOptions::isAvailableOption(), clang::Type::isBooleanType(), clang::Type::isDependentType(), clang::Type::isEventT(), clang::Type::isHalfType(), clang::Type::isImageType(), isOpenCLSizeDependentType(), clang::Type::isOpenCLSpecificType(), clang::QualType::isPODType(), clang::Type::isPointerOrReferenceType(), clang::Type::isPointerType(), clang::Type::isRecordType(), clang::Type::isReserveIDT(), clang::Type::isVoidType(), clang::opencl_generic, clang::opencl_private, PtrKernelParam, PtrPtrKernelParam, RecordKernelParam, and ValidKernelParam.

Referenced by checkIsValidOpenCLKernelParameter(), and getOpenCLKernelParameterType().

getRedeclDiagFromTagKind()

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 17699 of file SemaDecl.cpp.

References clang::Class, clang::Interface, and clang::Struct.

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

getTagInjectionContext()

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 10020 of file SemaDecl.cpp.

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

Referenced by clang::Sema::ActOnFunctionDeclarator(), and clang::Sema::ActOnTag().

getTagInjectionScope()

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 10029 of file SemaDecl.cpp.

References clang::Scope::DeclScope, clang::Scope::getEntity(), clang::Scope::getFlags(), clang::Scope::getParent(), clang::Scope::isClassScope(), clang::Scope::isFunctionPrototypeScope(), and clang::DeclContext::isTransparentContext().

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

hasAttribute()

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

static

Definition at line 3028 of file SemaDecl.cpp.

References clang::Decl::attrs().

hasDeducedAuto()

bool hasDeducedAuto ( DeclaratorDecl * DD )

static

Definition at line 15425 of file SemaDecl.cpp.

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

hasIdenticalPassObjectSizeAttrs()

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

static

Definition at line 3651 of file SemaDecl.cpp.

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

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

hasParsedAttr()

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

static

Definition at line 7462 of file SemaDecl.cpp.

References clang::Declarator::getAttributes(), clang::DeclSpec::getAttributes(), clang::DeclaratorChunk::getAttrs(), clang::Declarator::getDeclarationAttributes(), clang::Declarator::getDeclSpec(), clang::Declarator::getNumTypeObjects(), clang::Declarator::getTypeObject(), and clang::ParsedAttributesView::hasAttribute().

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

hasSimilarParameters()

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 6156 of file SemaDecl.cpp.

References clang::Declaration, clang::Definition, clang::QualType::getBaseTypeIdentifier(), and getCoreType().

Referenced by DiagnoseInvalidRedeclaration().

haveIncompatibleLanguageLinkages()

template<typename T>

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

static

Definition at line 3595 of file SemaDecl.cpp.

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

Referenced by clang::Sema::MergeFunctionDecl(), and clang::Sema::MergeVarDecl().

InjectAnonymousStructOrUnionMembers()

bool InjectAnonymousStructOrUnionMembers ( Sema & SemaRef, Scope * S, DeclContext * Owner, RecordDecl * AnonRecord, AccessSpecifier AS, StorageClass SC, 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 5577 of file SemaDecl.cpp.

References clang::Decl::addAttr(), clang::AS_none, clang::Decl::attrs(), clang::cast(), CheckAnonMemberRedeclaration(), clang::Attr::clone(), clang::Sema::Context, clang::IndirectFieldDecl::Create(), clang::DeclContext::decls(), clang::NamedDecl::getDeclName(), clang::NamedDecl::getIdentifier(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::Invalid, clang::isa(), clang::TagDecl::isUnion(), clang::Sema::PushOnScopeChains(), clang::Decl::setAccess(), clang::Decl::setImplicit(), and clang::Decl::setInvalidDecl().

Referenced by clang::Sema::BuildAnonymousStructOrUnion(), and clang::Sema::BuildMicrosoftCAnonymousStruct().

isAcceptableTagRedeclContext()

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 17912 of file SemaDecl.cpp.

References clang::DeclContext::Encloses(), clang::DeclContext::Equals(), clang::Sema::getLangOpts(), and clang::DeclContext::getRedeclContext().

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

isAttributeTargetADefinition()

bool isAttributeTargetADefinition ( Decl * D )

static

Definition at line 2763 of file SemaDecl.cpp.

Referenced by mergeAlignedAttrs().

isClassCompatTagKind()

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 17715 of file SemaDecl.cpp.

References clang::Class, clang::Interface, and clang::Struct.

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

isDeclExternC()

bool isDeclExternC ( const Decl * D )

static

Returns true if given declaration has external C language linkage.

Definition at line 7503 of file SemaDecl.cpp.

isDefaultStdCall()

bool isDefaultStdCall ( FunctionDecl * FD, Sema & S )

static

Definition at line 12802 of file SemaDecl.cpp.

References clang::Sema::Context, clang::NamedDecl::getName(), clang::ASTContext::getTargetInfo(), and clang::TargetInfo::getTriple().

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

IsDisallowedCopyOrAssign()

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 1893 of file SemaDecl.cpp.

References clang::FunctionDecl::doesThisDeclarationHaveABody(), and clang::CXXMethodDecl::isCopyAssignmentOperator().

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

isExternC() [1/3]

bool isExternC ( FunctionTemplateDecl * )

static

Definition at line 3610 of file SemaDecl.cpp.

isExternC() [2/3]

template<typename T>

bool isExternC ( T * D )

static

Definition at line 3608 of file SemaDecl.cpp.

isExternC() [3/3]

bool isExternC ( VarTemplateDecl * )

static

Definition at line 3609 of file SemaDecl.cpp.

isFromSystemHeader()

bool isFromSystemHeader ( SourceManager & SM, const Decl * D )

static

Returns true if the declaration is declared in a system header or from a system macro.

Definition at line 6265 of file SemaDecl.cpp.

References clang::Decl::getLocation(), and SM.

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

isFunctionDefinitionDiscarded()

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 7390 of file SemaDecl.cpp.

References clang::Sema::Context, clang::ASTContext::GetGVALinkageForFunction(), clang::Sema::getLangOpts(), clang::GVA_AvailableExternally, clang::Decl::hasAttr(), and clang::FunctionDecl::isInlined().

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

isImplicitInstantiation()

bool isImplicitInstantiation ( NamedDecl * D )

static

Definition at line 1674 of file SemaDecl.cpp.

References clang::TSK_ImplicitInstantiation.

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

isIncompleteDeclExternC()

template<typename T>

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 7421 of file SemaDecl.cpp.

References clang::Sema::getLangOpts(), and hasAttr().

Referenced by clang::Sema::ActOnFunctionDeclarator(), clang::Sema::ActOnVariableDeclarator(), checkForConflictWithNonVisibleExternC(), and checkGlobalOrExternCConflict().

isMainVar()

bool isMainVar ( DeclarationName Name, VarDecl * VD )

static

Definition at line 7675 of file SemaDecl.cpp.

References clang::DeclarationName::getAsIdentifierInfo(), clang::Decl::getDeclContext(), clang::VarDecl::getDescribedVarTemplate(), clang::VarDecl::isExternC(), and clang::IdentifierInfo::isStr().

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

isOpenCLSizeDependentType()

bool isOpenCLSizeDependentType ( ASTContext & C, QualType Ty )

static

Definition at line 9722 of file SemaDecl.cpp.

References clang::C, clang::QualType::getAsString(), clang::QualType::getSingleStepDesugaredType(), clang::QualType::getUnqualifiedType(), and clang::Match.

Referenced by getOpenCLKernelParameterType().

isOutOfScopePreviousDeclaration()

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 7032 of file SemaDecl.cpp.

References clang::DeclContext::Equals(), clang::Decl::getDeclContext(), clang::DeclContext::getEnclosingNamespaceContext(), clang::DeclContext::getRedeclContext(), clang::NamedDecl::hasLinkage(), clang::DeclContext::isFunctionOrMethod(), and clang::DeclContext::isRecord().

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

isResultTypeOrTemplate()

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

static

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

Definition at line 848 of file SemaDecl.cpp.

References clang::Token::is(), and clang::isa().

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

isStdBuiltin()

bool isStdBuiltin ( ASTContext & Ctx, FunctionDecl * FD, unsigned BuiltinID )

static

Determine whether a declaration matches a known function in namespace std.

Definition at line 10040 of file SemaDecl.cpp.

References clang::Type::castAs(), clang::TargetInfo::getCXXABI(), clang::FunctionProtoType::getNumParams(), clang::ASTContext::getTargetInfo(), clang::ValueDecl::getType(), and clang::TargetCXXABI::isMicrosoft().

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

isTagTypeWithMissingTag()

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

static

Definition at line 863 of file SemaDecl.cpp.

References clang::Class, clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::Enum, clang::Sema::getLangOpts(), clang::Interface, clang::Sema::LookupParsedName(), clang::Sema::LookupTagName, clang::Struct, and clang::Union.

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

isUsingDeclNotAtClassScope()

bool isUsingDeclNotAtClassScope ( NamedDecl * D )

static

Definition at line 1866 of file SemaDecl.cpp.

References clang::Decl::getDeclContext(), clang::isa(), and clang::DeclContext::isFileContext().

Referenced by RemoveUsingDecls().

looksMutable()

bool looksMutable ( QualType T, const ASTContext & Ctx )

static

Definition at line 13842 of file SemaDecl.cpp.

References looksMutable().

Referenced by clang::Sema::DiagnoseUniqueObjectDuplication(), and looksMutable().

lookupUnqualifiedTypeNameInBase()

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 181 of file SemaDecl.cpp.

References clang::CXXRecordDecl::bases(), clang::CXXRecordDecl::getCanonicalDecl(), clang::CXXRecordDecl::hasDefinition(), clang::isa(), clang::DeclContext::lookup(), and lookupUnqualifiedTypeNameInBase().

Referenced by lookupUnqualifiedTypeNameInBase(), and recoverFromTypeInKnownDependentBase().

mergeAlignedAttrs()

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 2775 of file SemaDecl.cpp.

References clang::cast(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ASTContext::getCanonicalTagType(), clang::CharUnits::getQuantity(), clang::ASTContext::getTypeAlign(), isAttributeTargetADefinition(), New, clang::Decl::specific_attrs(), and clang::ASTContext::toCharUnitsFromBits().

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

mergeDeclAttribute()

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

static

Definition at line 2886 of file SemaDecl.cpp.

References clang::Decl::addAttr(), clang::ASTConsumer::AssignInheritanceModel(), clang::cast(), clang::Attr::clone(), clang::Sema::Consumer, clang::Sema::Context, DeclHasAttr(), clang::IdentifierTable::get(), clang::Sema::getLangOpts(), clang::NamedDecl::getName(), clang::NamedDecl::getVisibility(), clang::Sema::HLSL(), clang::ASTContext::Idents, Inf, clang::isa(), clang::Decl::isImplicit(), clang::Sema::mergeAlwaysInlineAttr(), clang::Sema::mergeAndInferAvailabilityAttr(), clang::Sema::mergeBTFDeclTagAttr(), clang::Sema::mergeCodeSegAttr(), clang::Sema::mergeDLLExportAttr(), clang::Sema::mergeDLLImportAttr(), clang::Sema::mergeEnforceTCBAttr(), clang::Sema::mergeEnforceTCBLeafAttr(), clang::Sema::mergeErrorAttr(), clang::Sema::mergeFormatAttr(), clang::Sema::mergeFormatMatchesAttr(), clang::SemaWasm::mergeImportModuleAttr(), clang::SemaWasm::mergeImportNameAttr(), clang::Sema::mergeInternalLinkageAttr(), clang::Sema::mergeMinSizeAttr(), clang::Sema::mergeModularFormatAttr(), clang::Sema::mergeMSInheritanceAttr(), clang::SemaSwift::mergeNameAttr(), clang::SemaHLSL::mergeNumThreadsAttr(), clang::Sema::mergeOptimizeNoneAttr(), clang::Sema::mergePersonalityAttr(), clang::SemaOpenACC::mergeRoutineDeclAttr(), clang::Sema::mergeSectionAttr(), clang::SemaHLSL::mergeShaderAttr(), clang::Sema::mergeTypeVisibilityAttr(), clang::Sema::mergeUuidAttr(), clang::Sema::mergeVisibilityAttr(), clang::SemaHLSL::mergeVkConstantIdAttr(), clang::SemaHLSL::mergeWaveSizeAttr(), clang::Sema::OpenACC(), clang::OptionalProtocolImplementation, clang::Override, clang::ProtocolImplementation, clang::InheritableAttr::setInherited(), clang::Sema::Swift(), and clang::Sema::Wasm().

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

mergeParamDeclAttributes()

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

static

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

Definition at line 3431 of file SemaDecl.cpp.

References clang::cast(), clang::SemaBase::Diag(), clang::Decl::getAttr(), clang::Decl::getDeclContext(), clang::ParmVarDecl::getFunctionScopeIndex(), clang::Decl::getLocation(), clang::FunctionDecl::getParamDecl(), clang::Decl::hasAttr(), propagateAttribute(), and propagateAttributes().

Referenced by clang::Sema::MergeCompatibleFunctionDecls(), and clang::Sema::mergeObjCMethodDecls().

mergeParamDeclTypes()

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

static

Definition at line 3504 of file SemaDecl.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), EquivalentArrayTypes(), clang::Sema::getASTContext(), clang::ASTContext::getAttributedType(), clang::Decl::getLocation(), clang::Type::getNullability(), clang::ParmVarDecl::getObjCDeclQualifier(), clang::ValueDecl::getType(), clang::Decl::OBJC_TQ_CSNullability, and clang::ValueDecl::setType().

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

mergeTypeWithPrevious()

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

static

Definition at line 4660 of file SemaDecl.cpp.

References clang::Sema::getLangOpts(), clang::Decl::getLexicalDeclContext(), clang::DeclContext::isFunctionOrMethod(), clang::VarDecl::isPreviousDeclInSameBlockScope(), and Previous.

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

methodHasName()

bool methodHasName ( const FunctionDecl * FD, StringRef Name )

static

Definition at line 16609 of file SemaDecl.cpp.

References clang::NamedDecl::getDeclName(), clang::NamedDecl::getName(), clang::isa(), clang::DeclarationName::isIdentifier(), and clang::FunctionDecl::param_empty().

Referenced by clang::Sema::CanBeGetReturnObject(), and clang::Sema::CanBeGetReturnTypeOnAllocFailure().

MultiVersionTypesCompatible()

bool MultiVersionTypesCompatible ( FunctionDecl * Old, FunctionDecl * New )

static

Definition at line 11822 of file SemaDecl.cpp.

References clang::CPUDispatch, clang::CPUSpecific, clang::Decl::getASTContext(), clang::FunctionDecl::getMultiVersionKind(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), New, clang::None, clang::TargetClones, and clang::TargetVersion.

Referenced by CheckMultiVersionAdditionalDecl().

patchDefaultTargetVersion()

void patchDefaultTargetVersion ( FunctionDecl * From, FunctionDecl * To )

static

Definition at line 11711 of file SemaDecl.cpp.

References clang::Decl::addAttr(), clang::Decl::getASTContext(), clang::FunctionDecl::getMultiVersionKind(), clang::FunctionDecl::getSourceRange(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), clang::None, clang::TargetClones, and clang::TargetVersion.

Referenced by CheckDeclarationCausesMultiVersioning(), and CheckMultiVersionAdditionalDecl().

PreviousDeclsHaveMultiVersionAttribute()

bool PreviousDeclsHaveMultiVersionAttribute ( const FunctionDecl * FD )

static

Definition at line 11702 of file SemaDecl.cpp.

References clang::Decl::getAsFunction(), clang::FunctionDecl::getMultiVersionKind(), clang::Decl::getPreviousDecl(), clang::FunctionDecl::getPreviousDecl(), and clang::None.

Referenced by CheckDeclarationCausesMultiVersioning().

propagateAttribute()

template<class T>

unsigned propagateAttribute ( ParmVarDecl * To, const ParmVarDecl * From, Sema & S )

static

Definition at line 3395 of file SemaDecl.cpp.

References clang::Decl::addAttr(), clang::cast(), clang::Sema::Context, DeclHasAttr(), and clang::Decl::specific_attrs().

Referenced by mergeParamDeclAttributes().

propagateAttributes()

template<class F>

void propagateAttributes ( ParmVarDecl * To, const ParmVarDecl * From, F && propagator )

static

Definition at line 3410 of file SemaDecl.cpp.

References clang::Decl::dropAttrs(), clang::Decl::hasAttrs(), and clang::Decl::setAttrs().

Referenced by mergeParamDeclAttributes().

RebuildDeclaratorInCurrentInstantiation()

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

static

RebuildDeclaratorInCurrentInstantiation - 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 6191 of file SemaDecl.cpp.

References clang::Sema::Context, clang::Sema::CreateParsedType(), clang::Declarator::getIdentifierLoc(), clang::Declarator::getMutableDeclSpec(), clang::Declarator::getNumTypeObjects(), clang::DeclSpec::getRepAsExpr(), clang::DeclSpec::getRepAsType(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::TypeSourceInfo::getType(), clang::Sema::GetTypeFromParser(), clang::Declarator::getTypeObject(), clang::DeclSpec::getTypeSpecType(), clang::DeclSpec::getTypeSpecTypeLoc(), clang::DeclaratorChunk::Kind, clang::DeclaratorChunk::Mem, clang::DeclaratorChunk::MemberPointer, clang::Sema::RebuildExprInCurrentInstantiation(), clang::Sema::RebuildNestedNameSpecifierInCurrentInstantiation(), clang::Sema::RebuildTypeInCurrentInstantiation(), clang::DeclaratorChunk::MemberPointerTypeInfo::Scope(), clang::DeclSpec::TST_atomic, clang::DeclSpec::TST_decltype, clang::DeclSpec::TST_typename, clang::DeclSpec::TST_typeof_unqualExpr, clang::DeclSpec::TST_typeof_unqualType, clang::DeclSpec::TST_typeofExpr, clang::DeclSpec::TST_typeofType, clang::DeclSpec::UpdateExprRep(), and clang::DeclSpec::UpdateTypeRep().

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

recoverFromTypeInKnownDependentBase()

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

static

Definition at line 236 of file SemaDecl.cpp.

References clang::Sema::Context, clang::Sema::CreateParsedType(), clang::Sema::CurContext, clang::SemaBase::Diag(), clang::CXXRecordDecl::getDescribedClassTemplate(), clang::DeclContext::getParent(), clang::CXXScopeSpec::getWithLocInContext(), lookupUnqualifiedTypeNameInBase(), clang::CXXScopeSpec::MakeTrivial(), clang::None, clang::DependentNameTypeLoc::setElaboratedKeywordLoc(), clang::DependentNameTypeLoc::setNameLoc(), and clang::DependentNameTypeLoc::setQualifierLoc().

Referenced by clang::Sema::ClassifyName(), and clang::Sema::getTypeName().

RemoveUsingDecls()

void RemoveUsingDecls ( LookupResult & R )

static

Removes using shadow declarations not at class scope from the lookup results.

Definition at line 1877 of file SemaDecl.cpp.

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

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

SetEligibleMethods()

void SetEligibleMethods ( Sema & S, CXXRecordDecl * Record, ArrayRef< CXXMethodDecl * > Methods, CXXSpecialMemberKind CSM )

static

[class.mem.special]p6: An eligible special member function is a special member function for which:

• the function is not deleted,
• the associated constraints, if any, are satisfied, and
• no special member function of the same kind whose associated constraints [CWG2595], if any, are satisfied is more constrained.

Definition at line 19734 of file SemaDecl.cpp.

References AreSpecialMemberFunctionsSameKind(), clang::cast(), clang::Sema::CheckFunctionConstraints(), clang::Sema::Context, clang::FunctionDecl::getInstantiatedFromMemberFunction(), clang::DeclaratorDecl::getTrailingRequiresClause(), clang::Sema::IsAtLeastAsConstrained(), clang::ConstraintSatisfaction::IsSatisfied, and clang::Other.

Referenced by ComputeSpecialMemberFunctionsEligiblity().

SetNestedNameSpecifier()

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

static

Definition at line 7071 of file SemaDecl.cpp.

References clang::Sema::Context, clang::Declarator::getCXXScopeSpec(), clang::CXXScopeSpec::getWithLocInContext(), clang::CXXScopeSpec::isSet(), and clang::DeclaratorDecl::setQualifierInfo().

Referenced by clang::Sema::ActOnClassTemplateSpecialization(), clang::Sema::ActOnExplicitInstantiation(), clang::Sema::ActOnFunctionDeclarator(), clang::Sema::ActOnVariableDeclarator(), and clang::Sema::CheckClassTemplate().

shouldConsiderLinkage() [1/2]

bool shouldConsiderLinkage ( const FunctionDecl * FD )

static

Definition at line 7452 of file SemaDecl.cpp.

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

shouldConsiderLinkage() [2/2]

bool shouldConsiderLinkage ( const VarDecl * VD )

static

Definition at line 7435 of file SemaDecl.cpp.

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

Referenced by clang::Sema::ActOnFunctionDeclarator(), and clang::Sema::ActOnVariableDeclarator().

ShouldDiagnoseUnusedDecl()

bool ShouldDiagnoseUnusedDecl ( const LangOptions & LangOpts, const NamedDecl * D )

static

Definition at line 2000 of file SemaDecl.cpp.

References clang::Type::getAs(), clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::Decl::hasAttr(), clang::Init, clang::isa(), clang::DeclContext::isFunctionOrMethod(), clang::Decl::isInvalidDecl(), clang::NamedDecl::isPlaceholderVar(), clang::Decl::isReferenced(), clang::FunctionDecl::isTrivial(), and clang::Decl::isUsed().

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

ShouldWarnAboutMissingPrototype()

bool ShouldWarnAboutMissingPrototype ( const FunctionDecl * FD, const FunctionDecl *& PossiblePrototype )

static

Definition at line 16058 of file SemaDecl.cpp.

References FindPossiblePrototype(), clang::Decl::getDeclContext(), clang::FunctionDecl::getDescribedFunctionTemplate(), clang::NamedDecl::getIdentifier(), clang::DeclContext::getRedeclContext(), clang::Decl::hasAttr(), clang::isa(), clang::FunctionDecl::isDeleted(), clang::NamedDecl::isExternallyVisible(), clang::FunctionDecl::isFunctionTemplateSpecialization(), clang::FunctionDecl::isGlobal(), clang::FunctionDecl::isInlined(), clang::Decl::isInvalidDecl(), and clang::FunctionDecl::isMSVCRTEntryPoint().

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

shouldWarnIfShadowedDecl()

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

static

Definition at line 8490 of file SemaDecl.cpp.

References clang::Found, and clang::DiagnosticsEngine::isIgnored().

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

StorageClassSpecToVarDeclStorageClass()

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 5646 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.

Referenced by clang::Sema::ActOnVariableDeclarator(), clang::Sema::BuildAnonymousStructOrUnion(), and clang::Sema::BuildMicrosoftCAnonymousStruct().

synthesizeCurrentNestedNameSpecifier()

NestedNameSpecifier synthesizeCurrentNestedNameSpecifier ( ASTContext & Context, DeclContext * DC )

static

Definition at line 612 of file SemaDecl.cpp.

References clang::NestedNameSpecifier::getGlobal(), clang::DeclContext::getLookupParent(), clang::DeclContext::getPrimaryContext(), and clang::isa().

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

TryToFixInvalidVariablyModifiedType()

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 6686 of file SemaDecl.cpp.

References clang::QualifierCollector::apply(), clang::Expr::EvaluateAsInt(), clang::ArrayType::getElementType(), clang::ConstantArrayType::getMaxSizeBits(), clang::ConstantArrayType::getNumAddressingBits(), clang::Type::getPointeeType(), clang::VariableArrayType::getSizeExpr(), clang::Type::isDependentType(), clang::Type::isIncompleteType(), clang::QualType::isNull(), clang::Type::isUndeducedType(), clang::Type::isVariablyModifiedType(), clang::Normal, clang::QualifierCollector::strip(), and TryToFixInvalidVariablyModifiedType().

Referenced by clang::Sema::CheckVariableDeclarationType(), TryToFixInvalidVariablyModifiedType(), and TryToFixInvalidVariablyModifiedTypeSourceInfo().

TryToFixInvalidVariablyModifiedTypeSourceInfo()

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 6802 of file SemaDecl.cpp.

References FixInvalidVariablyModifiedTypeLoc(), clang::TypeSourceInfo::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::QualType::isNull(), and TryToFixInvalidVariablyModifiedType().

Referenced by clang::Sema::CheckTypedefForVariablyModifiedType(), clang::Sema::CheckVariableDeclarationType(), and clang::Sema::tryToFixVariablyModifiedVarType().

ValidDuplicateEnum()

bool ValidDuplicateEnum ( EnumConstantDecl * ECD, EnumDecl * Enum )

static

Definition at line 20709 of file SemaDecl.cpp.

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

Referenced by CheckForDuplicateEnumValues().