#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTMutationListener.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/Mangle.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/AST/Type.h"
#include "clang/Basic/CharInfo.h"
#include "clang/Basic/Cuda.h"
#include "clang/Basic/DarwinSDKInfo.h"
#include "clang/Basic/HLSLRuntime.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/TargetBuiltins.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/DelayedDiagnostic.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/ParsedAttr.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/IR/Assumptions.h"
#include "llvm/MC/MCSectionMachO.h"
#include "llvm/Support/Error.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/raw_ostream.h"
#include <optional>
#include "clang/Basic/arm_mve_builtin_aliases.inc"
#include "clang/Basic/arm_cde_builtin_aliases.inc"

Namespaces
namespace	AttributeLangSupport

Enumerations
enum	AttributeLangSupport::LANG { AttributeLangSupport::C , AttributeLangSupport::Cpp , AttributeLangSupport::ObjC }

enum	FormatAttrKind { CFStringFormat , NSStringFormat , StrftimeFormat , SupportedFormat , IgnoredFormat , InvalidFormat }

Functions
static bool	isFunctionOrMethod (const Decl *D)
	isFunctionOrMethod - Return true if the given decl has function type (function or function-typed variable) or an Objective-C method.

static bool	isFunctionOrMethodOrBlock (const Decl *D)
	Return true if the given decl has function type (function or function-typed variable) or an Objective-C method or a block.

static bool	hasDeclarator (const Decl *D)
	Return true if the given decl has a declarator that should have been processed by Sema::GetTypeForDeclarator.

static bool	hasFunctionProto (const Decl *D)
	hasFunctionProto - Return true if the given decl has a argument information.

static unsigned	getFunctionOrMethodNumParams (const Decl *D)
	getFunctionOrMethodNumParams - Return number of function or method parameters.

static const ParmVarDecl *	getFunctionOrMethodParam (const Decl *D, unsigned Idx)

static QualType	getFunctionOrMethodParamType (const Decl *D, unsigned Idx)

static SourceRange	getFunctionOrMethodParamRange (const Decl *D, unsigned Idx)

static QualType	getFunctionOrMethodResultType (const Decl *D)

static SourceRange	getFunctionOrMethodResultSourceRange (const Decl *D)

static bool	isFunctionOrMethodVariadic (const Decl *D)

static bool	isInstanceMethod (const Decl *D)

static bool	isNSStringType (QualType T, ASTContext &Ctx, bool AllowNSAttributedString=false)

static bool	isCFStringType (QualType T, ASTContext &Ctx)

static unsigned	getNumAttributeArgs (const ParsedAttr &AL)

template<typename AttrInfo >
static std::enable_if_t< std::is_base_of_v< Attr, AttrInfo >, SourceLocation >	getAttrLoc (const AttrInfo &AL)
	A helper function to provide Attribute Location for the Attr types AND the ParsedAttr.

static SourceLocation	getAttrLoc (const ParsedAttr &AL)

template<typename AttrInfo >
static bool	checkUInt32Argument (Sema &S, const AttrInfo &AI, const Expr *Expr, uint32_t &Val, unsigned Idx=UINT_MAX, bool StrictlyUnsigned=false)
	If Expr is a valid integer constant, get the value of the integer expression and return success or failure.

template<typename AttrInfo >
static bool	checkPositiveIntArgument (Sema &S, const AttrInfo &AI, const Expr *Expr, int &Val, unsigned Idx=UINT_MAX)
	Wrapper around checkUInt32Argument, with an extra check to be sure that the result will fit into a regular (signed) int.

template<typename AttrTy >
static bool	checkAttrMutualExclusion (Sema &S, Decl *D, const ParsedAttr &AL)
	Diagnose mutually exclusive attributes when present on a given declaration.

template<typename AttrTy >
static bool	checkAttrMutualExclusion (Sema &S, Decl *D, const Attr &AL)

template<typename AttrInfo >
static bool	checkFunctionOrMethodParameterIndex (Sema &S, const Decl D, const AttrInfo &AI, unsigned AttrArgNum, const Expr IdxExpr, ParamIdx &Idx, bool CanIndexImplicitThis=false)
	Check if IdxExpr is a valid parameter index for a function or instance method D.

template<typename AttrType >
static void	handleSimpleAttribute (Sema &S, Decl *D, const AttributeCommonInfo &CI)
	Applies the given attribute to the Decl without performing any additional semantic checking.

template<typename... DiagnosticArgs>
static const Sema::SemaDiagnosticBuilder &	appendDiagnostics (const Sema::SemaDiagnosticBuilder &Bldr)

template<typename T , typename... DiagnosticArgs>
static const Sema::SemaDiagnosticBuilder &	appendDiagnostics (const Sema::SemaDiagnosticBuilder &Bldr, T &&ExtraArg, DiagnosticArgs &&... ExtraArgs)

template<typename AttrType , typename... DiagnosticArgs>
static void	handleSimpleAttributeOrDiagnose (Sema &S, Decl *D, const AttributeCommonInfo &CI, bool PassesCheck, unsigned DiagID, DiagnosticArgs &&... ExtraArgs)
	Add an attribute `AttrType` to declaration `D`, provided that `PassesCheck` is true.

static bool	isIntOrBool (Expr *Exp)
	Check if the passed-in expression is of type int or bool.

static bool	threadSafetyCheckIsSmartPointer (Sema &S, const RecordType *RT)

static bool	threadSafetyCheckIsPointer (Sema &S, const Decl *D, const ParsedAttr &AL)
	Check if passed in Decl is a pointer type.

static const RecordType *	getRecordType (QualType QT)
	Checks that the passed in QualType either is of RecordType or points to RecordType.

template<typename AttrType >
static bool	checkRecordDeclForAttr (const RecordDecl *RD)

static bool	checkRecordTypeForCapability (Sema &S, QualType Ty)

static bool	checkTypedefTypeForCapability (QualType Ty)

static bool	typeHasCapability (Sema &S, QualType Ty)

static bool	isCapabilityExpr (Sema &S, const Expr *Ex)

static void	checkAttrArgsAreCapabilityObjs (Sema &S, Decl D, const ParsedAttr &AL, SmallVectorImpl< Expr > &Args, unsigned Sidx=0, bool ParamIdxOk=false)
	Checks that all attribute arguments, starting from Sidx, resolve to a capability object.

static void	handlePtGuardedVarAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkGuardedByAttrCommon (Sema &S, Decl D, const ParsedAttr &AL, Expr &Arg)

static void	handleGuardedByAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handlePtGuardedByAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkAcquireOrderAttrCommon (Sema &S, Decl D, const ParsedAttr &AL, SmallVectorImpl< Expr > &Args)

static void	handleAcquiredAfterAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAcquiredBeforeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkLockFunAttrCommon (Sema &S, Decl D, const ParsedAttr &AL, SmallVectorImpl< Expr > &Args)

static void	handleAssertSharedLockAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAssertExclusiveLockAttr (Sema &S, Decl *D, const ParsedAttr &AL)

template<typename AttrInfo >
static bool	checkParamIsIntegerType (Sema &S, const Decl *D, const AttrInfo &AI, unsigned AttrArgNo)
	Checks to be sure that the given parameter number is in bounds, and is an integral type.

static void	handleAllocSizeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkTryLockFunAttrCommon (Sema &S, Decl D, const ParsedAttr &AL, SmallVectorImpl< Expr > &Args)

static void	handleSharedTrylockFunctionAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleExclusiveTrylockFunctionAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleLockReturnedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleLocksExcludedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkFunctionConditionAttr (Sema &S, Decl D, const ParsedAttr &AL, Expr &Cond, StringRef &Msg)

static void	handleEnableIfAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleErrorAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDiagnoseAsBuiltinAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDiagnoseIfAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNoBuiltinAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handlePassObjectSizeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleConsumableAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkForConsumableClass (Sema &S, const CXXMethodDecl *MD, const ParsedAttr &AL)

static void	handleCallableWhenAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleParamTypestateAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleReturnTypestateAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSetTypestateAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleTestTypestateAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleExtVectorTypeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handlePackedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handlePreferredName (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkIBOutletCommon (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleIBOutlet (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleIBOutletCollection (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	attrNonNullArgCheck (Sema &S, QualType T, const ParsedAttr &AL, SourceRange AttrParmRange, SourceRange TypeRange, bool isReturnValue=false)

static void	handleNonNullAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNonNullAttrParameter (Sema &S, ParmVarDecl *D, const ParsedAttr &AL)

static void	handleReturnsNonNullAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNoEscapeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAssumeAlignedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAllocAlignAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	checkAssumptionAttr (Sema &S, SourceLocation Loc, StringRef AssumptionStr)
	Check if `AssumptionStr` is a known assumption and warn if not.

static void	handleAssumumptionAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	normalizeName (StringRef &AttrName)
	Normalize the attribute, foo becomes foo.

static void	handleOwnershipAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleWeakRefAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleIFuncAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAliasAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleTLSModelAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleRestrictAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleCPUSpecificAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleCommonAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleCmseNSEntryAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNakedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNoReturnAttr (Sema &S, Decl *D, const ParsedAttr &Attrs)

static void	handleStandardNoReturnAttr (Sema &S, Decl *D, const ParsedAttr &A)

static void	handleNoCfCheckAttr (Sema &S, Decl *D, const ParsedAttr &Attrs)

static void	handleAnalyzerNoReturnAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleVecReturnAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDependencyAttr (Sema &S, Scope Scope, Decl D, const ParsedAttr &AL)

static void	handleUnusedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleConstructorAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDestructorAttr (Sema &S, Decl *D, const ParsedAttr &AL)

template<typename AttrTy >
static void	handleAttrWithMessage (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCSuppresProtocolAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkAvailabilityAttr (Sema &S, SourceRange Range, IdentifierInfo *Platform, VersionTuple Introduced, VersionTuple Deprecated, VersionTuple Obsoleted)

static bool	versionsMatch (const VersionTuple &X, const VersionTuple &Y, bool BeforeIsOkay)
	Check whether the two versions match.

static void	handleAvailabilityAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleExternalSourceSymbolAttr (Sema &S, Decl *D, const ParsedAttr &AL)

template<class T >
static T *	mergeVisibilityAttr (Sema &S, Decl *D, const AttributeCommonInfo &CI, typename T::VisibilityType value)

static void	handleVisibilityAttr (Sema &S, Decl *D, const ParsedAttr &AL, bool isTypeVisibility)

static void	handleObjCDirectAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCDirectMembersAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCMethodFamilyAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCNSObject (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCIndependentClass (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleBlocksAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSentinelAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleWarnUnusedResult (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleWeakImportAttr (Sema &S, Decl *D, const ParsedAttr &AL)

template<typename WorkGroupAttr >
static void	handleWorkGroupSize (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSubGroupSize (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleVecTypeHint (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSectionAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkCodeSegName (Sema &S, SourceLocation LiteralLoc, StringRef CodeSegName)

static void	handleCodeSegAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleTargetVersionAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleTargetAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleTargetClonesAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleMinVectorWidthAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleCleanupAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleEnumExtensibilityAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleFormatArgAttr (Sema &S, Decl *D, const ParsedAttr &AL)
	Handle attribute((format_arg((idx)))) attribute based on http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html.

static FormatAttrKind	getFormatAttrKind (StringRef Format)
	getFormatAttrKind - Map from format attribute names to supported format types.

static void	handleInitPriorityAttr (Sema &S, Decl *D, const ParsedAttr &AL)
	Handle attribute((init_priority(priority))) attributes based on http://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Attributes.html.

static void	handleFormatAttr (Sema &S, Decl *D, const ParsedAttr &AL)
	Handle attribute((format(type,idx,firstarg))) attributes based on http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html.

static void	handleCallbackAttr (Sema &S, Decl *D, const ParsedAttr &AL)
	Handle attribute((callback(CalleeIdx, PayloadIdx0, ...))) attributes.

static bool	isFunctionLike (const Type &T)

static void	handleCalledOnceAttr (Sema &S, Decl *D, const ParsedAttr &AL)
	Handle 'called_once' attribute.

static void	handleTransparentUnionAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAnnotateAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAlignValueAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAlignedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	validateAlignasAppliedType (Sema &S, Decl *D, const AlignedAttr &Attr, SourceLocation AttrLoc)
	Perform checking of type validity.

static void	parseModeAttrArg (Sema &S, StringRef Str, unsigned &DestWidth, bool &IntegerMode, bool &ComplexMode, FloatModeKind &ExplicitType)
	parseModeAttrArg - Parses attribute mode string and returns parsed type attribute.

static void	handleModeAttr (Sema &S, Decl *D, const ParsedAttr &AL)
	handleModeAttr - This attribute modifies the width of a decl with primitive type.

static void	handleNoDebugAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAlwaysInlineAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleMinSizeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleOptimizeNoneAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleConstantAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSharedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleGlobalAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDeviceAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleManagedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleGNUInlineAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleCallConvAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSuppressAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleLifetimeCategoryAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleRandomizeLayoutAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNoRandomizeLayoutAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	isValidSwiftContextType (QualType Ty)
	Pointer-like types in the default address space.

static bool	isValidSwiftIndirectResultType (QualType Ty)
	Pointers and references in the default address space.

static bool	isValidSwiftErrorResultType (QualType Ty)
	Pointers and references to pointers in the default address space.

static CudaArch	getCudaArch (const TargetInfo &TI)

static Expr *	makeLaunchBoundsArgExpr (Sema &S, Expr *E, const CUDALaunchBoundsAttr &AL, const unsigned Idx)

static void	handleLaunchBoundsAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleArgumentWithTypeTagAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleTypeTagForDatatypeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleXRayLogArgsAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handlePatchableFunctionEntryAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	ArmBuiltinAliasValid (unsigned BuiltinID, StringRef AliasName, ArrayRef< IntrinToName > Map, const char *IntrinNames)

static bool	ArmMveAliasValid (unsigned BuiltinID, StringRef AliasName)

static bool	ArmCdeAliasValid (unsigned BuiltinID, StringRef AliasName)

static bool	ArmSveAliasValid (ASTContext &Context, unsigned BuiltinID, StringRef AliasName)

static bool	ArmSmeAliasValid (ASTContext &Context, unsigned BuiltinID, StringRef AliasName)

static void	handleArmBuiltinAliasAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	RISCVAliasValid (unsigned BuiltinID, StringRef AliasName)

static void	handleBuiltinAliasAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	isValidSubjectOfNSReturnsRetainedAttribute (QualType QT)

static bool	isValidSubjectOfNSAttribute (QualType QT)

static bool	isValidSubjectOfCFAttribute (QualType QT)

static bool	isValidSubjectOfOSAttribute (QualType QT)

static Sema::RetainOwnershipKind	parsedAttrToRetainOwnershipKind (const ParsedAttr &AL)

static bool	isValidOSObjectOutParameter (const Decl *D)

static void	handleXReturnsXRetainedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCReturnsInnerPointerAttr (Sema &S, Decl *D, const ParsedAttr &Attrs)

static void	handleObjCRequiresSuperAttr (Sema &S, Decl *D, const ParsedAttr &Attrs)

static void	handleNSErrorDomain (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCBridgeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCBridgeMutableAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCBridgeRelatedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCDesignatedInitializer (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCRuntimeName (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCBoxable (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCOwnershipAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleObjCPreciseLifetimeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSwiftAttrAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSwiftBridge (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	isErrorParameter (Sema &S, QualType QT)

static void	handleSwiftError (Sema &S, Decl *D, const ParsedAttr &AL)

static void	checkSwiftAsyncErrorBlock (Sema &S, Decl D, const SwiftAsyncErrorAttr ErrorAttr, const SwiftAsyncAttr *AsyncAttr)

static void	handleSwiftAsyncError (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	validateSwiftFunctionName (Sema &S, const ParsedAttr &AL, SourceLocation Loc, StringRef Name, unsigned &SwiftParamCount, bool &IsSingleParamInit)

static void	handleSwiftName (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSwiftAsyncName (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSwiftNewType (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSwiftAsyncAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleUuidAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleHLSLNumThreadsAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	isLegalTypeForHLSLSV_DispatchThreadID (QualType T)

static void	handleHLSLSV_DispatchThreadIDAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleHLSLShaderAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleHLSLResourceBindingAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleMSInheritanceAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDeclspecThreadAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAbiTagAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleARMInterruptAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleMSP430InterruptAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleMipsInterruptAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleM68kInterruptAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAnyX86InterruptAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAVRInterruptAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAVRSignalAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleBPFPreserveAIRecord (Sema &S, RecordDecl *RD)

static void	handleBPFPreserveAccessIndexAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	hasBTFDeclTagAttr (Decl *D, StringRef Tag)

static void	handleBTFDeclTagAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleWebAssemblyExportNameAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleWebAssemblyImportModuleAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleWebAssemblyImportNameAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleRISCVInterruptAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleInterruptAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkAMDGPUFlatWorkGroupSizeArguments (Sema &S, Expr MinExpr, Expr MaxExpr, const AMDGPUFlatWorkGroupSizeAttr &Attr)

static void	handleAMDGPUFlatWorkGroupSizeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	checkAMDGPUWavesPerEUArguments (Sema &S, Expr MinExpr, Expr MaxExpr, const AMDGPUWavesPerEUAttr &Attr)

static void	handleAMDGPUWavesPerEUAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAMDGPUNumSGPRAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAMDGPUNumVGPRAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleX86ForceAlignArgPointerAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleLayoutVersion (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDLLAttr (Sema &S, Decl *D, const ParsedAttr &A)

static void	handleCapabilityAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAssertCapabilityAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAcquireCapabilityAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleTryAcquireCapabilityAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleReleaseCapabilityAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleRequiresCapabilityAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDeprecatedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	isGlobalVar (const Decl *D)

static bool	isSanitizerAttributeAllowedOnGlobals (StringRef Sanitizer)

static void	handleNoSanitizeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNoSanitizeSpecificAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleInternalLinkageAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleOpenCLNoSVMAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleOpenCLAccessAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleZeroCallUsedRegsAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleFunctionReturnThunksAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAvailableOnlyInDefaultEvalMethod (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNoMergeAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleNoUniqueAddressAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleSYCLKernelAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleDestroyAttr (Sema &S, Decl *D, const ParsedAttr &A)

static void	handleUninitializedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static bool	tryMakeVariablePseudoStrong (Sema &S, VarDecl *VD, bool DiagnoseFailure)

static void	handleObjCExternallyRetainedAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleMIGServerRoutineAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleMSAllocatorAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleAcquireHandleAttr (Sema &S, Decl *D, const ParsedAttr &AL)

template<typename Attr >
static void	handleHandleAttr (Sema &S, Decl *D, const ParsedAttr &AL)

template<typename Attr >
static void	handleUnsafeBufferUsage (Sema &S, Decl *D, const ParsedAttr &AL)

static void	handleCFGuardAttr (Sema &S, Decl *D, const ParsedAttr &AL)

template<typename AttrTy >
static const AttrTy *	findEnforceTCBAttrByName (Decl *D, StringRef Name)

template<typename AttrTy , typename ConflictingAttrTy >
static void	handleEnforceTCBAttr (Sema &S, Decl *D, const ParsedAttr &AL)

template<typename AttrTy , typename ConflictingAttrTy >
static AttrTy *	mergeEnforceTCBAttrImpl (Sema &S, Decl *D, const AttrTy &AL)

static bool	MustDelayAttributeArguments (const ParsedAttr &AL)

static void	handleArmNewZaAttr (Sema &S, Decl *D, const ParsedAttr &AL)

static void	ProcessDeclAttribute (Sema &S, Scope scope, Decl D, const ParsedAttr &AL, const Sema::ProcessDeclAttributeOptions &Options)
	ProcessDeclAttribute - Apply the specific attribute to the specified decl if the attribute applies to decls.

static void	checkUnusedDeclAttributes (Sema &S, const ParsedAttributesView &A)
	checkUnusedDeclAttributes - Check a list of attributes to see if it contains any decl attributes that we should warn about.

static bool	isForbiddenTypeAllowed (Sema &S, Decl *D, const DelayedDiagnostic &diag, UnavailableAttr::ImplicitReason &reason)
	Is the given declaration allowed to use a forbidden type? If so, it'll still be annotated with an attribute that makes it illegal to actually use.

static void	handleDelayedForbiddenType (Sema &S, DelayedDiagnostic &DD, Decl *D)
	Handle a delayed forbidden-type diagnostic.

Enumeration Type Documentation

◆ FormatAttrKind

enum FormatAttrKind

Enumerator
CFStringFormat
NSStringFormat
StrftimeFormat
SupportedFormat
IgnoredFormat
InvalidFormat

Definition at line 3827 of file SemaDeclAttr.cpp.

Function Documentation

◆ appendDiagnostics() [1/2]

template<typename... DiagnosticArgs>

static const Sema::SemaDiagnosticBuilder & appendDiagnostics ( const Sema::SemaDiagnosticBuilder & Bldr )

static

Definition at line 408 of file SemaDeclAttr.cpp.

Referenced by appendDiagnostics(), and handleSimpleAttributeOrDiagnose().

◆ appendDiagnostics() [2/2]

template<typename T , typename... DiagnosticArgs>

static const Sema::SemaDiagnosticBuilder & appendDiagnostics	(	const Sema::SemaDiagnosticBuilder &	Bldr,
		T &&	ExtraArg,
		DiagnosticArgs &&...	ExtraArgs
	)

static

Definition at line 414 of file SemaDeclAttr.cpp.

References appendDiagnostics().

◆ ArmBuiltinAliasValid()

static bool ArmBuiltinAliasValid	(	unsigned	BuiltinID,
		StringRef	AliasName,
		ArrayRef< IntrinToName >	Map,
		const char *	IntrinNames
	)

static

Definition at line 5808 of file SemaDeclAttr.cpp.

References Id.

Referenced by ArmCdeAliasValid(), and ArmMveAliasValid().

◆ ArmCdeAliasValid()

static bool ArmCdeAliasValid	(	unsigned	BuiltinID,
		StringRef	AliasName
	)

static

Definition at line 5836 of file SemaDeclAttr.cpp.

References ArmBuiltinAliasValid().

Referenced by handleArmBuiltinAliasAttr(), and handleBuiltinAliasAttr().

◆ ArmMveAliasValid()

static bool ArmMveAliasValid	(	unsigned	BuiltinID,
		StringRef	AliasName
	)

static

Definition at line 5828 of file SemaDeclAttr.cpp.

References ArmBuiltinAliasValid().

Referenced by handleArmBuiltinAliasAttr(), and handleBuiltinAliasAttr().

◆ ArmSmeAliasValid()

static bool ArmSmeAliasValid	(	ASTContext &	Context,
		unsigned	BuiltinID,
		StringRef	AliasName
	)

static

Definition at line 5849 of file SemaDeclAttr.cpp.

References clang::ASTContext::BuiltinInfo, clang::AArch64::FirstSMEBuiltin, clang::Builtin::Context::getAuxBuiltinID(), clang::Builtin::Context::isAuxBuiltinID(), and clang::AArch64::LastSMEBuiltin.

Referenced by handleArmBuiltinAliasAttr().

◆ ArmSveAliasValid()

static bool ArmSveAliasValid	(	ASTContext &	Context,
		unsigned	BuiltinID,
		StringRef	AliasName
	)

static

Definition at line 5841 of file SemaDeclAttr.cpp.

References clang::ASTContext::BuiltinInfo, clang::AArch64::FirstSVEBuiltin, clang::Builtin::Context::getAuxBuiltinID(), clang::Builtin::Context::isAuxBuiltinID(), and clang::AArch64::LastSVEBuiltin.

Referenced by handleArmBuiltinAliasAttr(), and handleBuiltinAliasAttr().

◆ attrNonNullArgCheck()

static bool attrNonNullArgCheck	(	Sema &	S,
		QualType	T,
		const ParsedAttr &	AL,
		SourceRange	AttrParmRange,
		SourceRange	TypeRange,
		bool	isReturnValue = `false`
	)

static

Definition at line 1578 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), clang::AttributeCommonInfo::getLoc(), and clang::Sema::isValidPointerAttrType().

Referenced by handleNonNullAttr(), handleNonNullAttrParameter(), and handleReturnsNonNullAttr().

◆ checkAcquireOrderAttrCommon()

static bool checkAcquireOrderAttrCommon	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL,
		SmallVectorImpl< Expr * > &	Args
	)

static

Definition at line 740 of file SemaDeclAttr.cpp.

References clang::ParsedAttr::checkAtLeastNumArgs(), checkAttrArgsAreCapabilityObjs(), clang::Sema::Diag(), clang::AttributeCommonInfo::getLoc(), clang::Type::isDependentType(), and typeHasCapability().

Referenced by handleAcquiredAfterAttr(), and handleAcquiredBeforeAttr().

◆ checkAMDGPUFlatWorkGroupSizeArguments()

static bool checkAMDGPUFlatWorkGroupSizeArguments	(	Sema &	S,
		Expr *	MinExpr,
		Expr *	MaxExpr,
		const AMDGPUFlatWorkGroupSizeAttr &	Attr
	)

static

Definition at line 7836 of file SemaDeclAttr.cpp.

References checkUInt32Argument(), clang::Sema::Diag(), clang::Attr::getLocation(), and clang::Expr::isValueDependent().

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

◆ checkAMDGPUWavesPerEUArguments()

static bool checkAMDGPUWavesPerEUArguments	(	Sema &	S,
		Expr *	MinExpr,
		Expr *	MaxExpr,
		const AMDGPUWavesPerEUAttr &	Attr
	)

static

Definition at line 7891 of file SemaDeclAttr.cpp.

References checkUInt32Argument(), clang::Sema::Diag(), clang::Sema::DiagnoseUnexpandedParameterPack(), clang::Attr::getLocation(), and clang::Expr::isValueDependent().

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

◆ checkAssumptionAttr()

static void checkAssumptionAttr	(	Sema &	S,
		SourceLocation	Loc,
		StringRef	AssumptionStr
	)

static

Check if AssumptionStr is a known assumption and warn if not.

Definition at line 1774 of file SemaDeclAttr.cpp.

References clang::Sema::Diag().

Referenced by handleAssumumptionAttr().

◆ checkAttrArgsAreCapabilityObjs()

static void checkAttrArgsAreCapabilityObjs	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL,
		SmallVectorImpl< Expr * > &	Args,
		unsigned	Sidx = `0`,
		bool	ParamIdxOk = `false`
	)

static

Checks that all attribute arguments, starting from Sidx, resolve to a capability object.

Parameters

Sidx	The attribute argument index to start checking with.
ParamIdxOk	Whether an argument can be indexing into a function parameter list.

Definition at line 603 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), clang::ParsedAttr::getArgAsExpr(), clang::AttributeCommonInfo::getLoc(), clang::ParsedAttr::getNumArgs(), clang::DeclContext::getParent(), getRecordType(), clang::Expr::getType(), isCapabilityExpr(), clang::Expr::isTypeDependent(), and typeHasCapability().

Referenced by checkAcquireOrderAttrCommon(), checkGuardedByAttrCommon(), checkLockFunAttrCommon(), checkTryLockFunAttrCommon(), handleLockReturnedAttr(), handleLocksExcludedAttr(), handleReleaseCapabilityAttr(), and handleRequiresCapabilityAttr().

◆ checkAttrMutualExclusion() [1/2]

template<typename AttrTy >

static bool checkAttrMutualExclusion	(	Sema &	S,
		Decl *	D,
		const Attr &	AL
	)

static

Definition at line 287 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), clang::Decl::getAttr(), clang::Attr::getLocation(), and clang::AttributeCommonInfo::isRegularKeywordAttribute().

◆ checkAttrMutualExclusion() [2/2]

template<typename AttrTy >

static bool checkAttrMutualExclusion	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL
	)

static

Diagnose mutually exclusive attributes when present on a given declaration.

Returns true if diagnosed.

Definition at line 275 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), clang::Decl::getAttr(), clang::AttributeCommonInfo::getLoc(), and clang::AttributeCommonInfo::isRegularKeywordAttribute().

◆ checkAvailabilityAttr()

static bool checkAvailabilityAttr	(	Sema &	S,
		SourceRange	Range,
		IdentifierInfo *	Platform,
		VersionTuple	Introduced,
		VersionTuple	Deprecated,
		VersionTuple	Obsoleted
	)

static

Definition at line 2398 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), and clang::IdentifierInfo::getName().

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

◆ checkCodeSegName()

static bool checkCodeSegName	(	Sema &	S,
		SourceLocation	LiteralLoc,
		StringRef	CodeSegName
	)

static

Definition at line 3374 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), clang::Sema::isValidSectionSpecifier(), and toString().

Referenced by handleCodeSegAttr().

◆ checkForConsumableClass()

static bool checkForConsumableClass	(	Sema &	S,
		const CXXMethodDecl *	MD,
		const ParsedAttr &	AL
	)

static

Definition at line 1235 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), clang::Type::getAsCXXRecordDecl(), clang::AttributeCommonInfo::getLoc(), and clang::CXXMethodDecl::getThisObjectType().

Referenced by handleCallableWhenAttr(), handleSetTypestateAttr(), and handleTestTypestateAttr().

◆ checkFunctionConditionAttr()

static bool checkFunctionConditionAttr	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL,
		Expr *&	Cond,
		StringRef &	Msg
	)

static

Definition at line 938 of file SemaDeclAttr.cpp.

References clang::Sema::checkStringLiteralArgumentAttr(), clang::Sema::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::ParsedAttr::getArgAsExpr(), clang::AttributeCommonInfo::getLoc(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isPotentialConstantExprUnevaluated(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), and clang::Sema::PerformContextuallyConvertToBool().

Referenced by handleDiagnoseIfAttr(), and handleEnableIfAttr().

◆ checkFunctionOrMethodParameterIndex()

template<typename AttrInfo >

static bool checkFunctionOrMethodParameterIndex	(	Sema &	S,
		const Decl *	D,
		const AttrInfo &	AI,
		unsigned	AttrArgNum,
		const Expr *	IdxExpr,
		ParamIdx &	Idx,
		bool	CanIndexImplicitThis = `false`
	)

static

Check if IdxExpr is a valid parameter index for a function or instance method D.

May output an error.

Returns: true if IdxExpr is a valid index.

Definition at line 303 of file SemaDeclAttr.cpp.

References clang::AANT_ArgumentIntegerConstant, clang::Sema::Context, clang::Sema::Diag(), getAttrLoc(), getFunctionOrMethodNumParams(), clang::Expr::getIntegerConstantExpr(), clang::Stmt::getSourceRange(), hasFunctionProto(), isFunctionOrMethodOrBlock(), isFunctionOrMethodVariadic(), isInstanceMethod(), clang::Expr::isTypeDependent(), and UINT_MAX.

Referenced by clang::Sema::AddAllocAlignAttr(), checkParamIsIntegerType(), handleArgumentWithTypeTagAttr(), handleFormatArgAttr(), handleNonNullAttr(), handleOwnershipAttr(), handleSwiftAsyncAttr(), and handleXRayLogArgsAttr().

◆ checkGuardedByAttrCommon()

static bool checkGuardedByAttrCommon	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL,
		Expr *&	Arg
	)

static

Definition at line 707 of file SemaDeclAttr.cpp.

References checkAttrArgsAreCapabilityObjs().

Referenced by handleGuardedByAttr(), and handlePtGuardedByAttr().

◆ checkIBOutletCommon()

static bool checkIBOutletCommon	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL
	)

static

Definition at line 1478 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), and clang::AttributeCommonInfo::getLoc().

Referenced by handleIBOutlet(), and handleIBOutletCollection().

◆ checkLockFunAttrCommon()

static bool checkLockFunAttrCommon	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL,
		SmallVectorImpl< Expr * > &	Args
	)

static

Definition at line 780 of file SemaDeclAttr.cpp.

References checkAttrArgsAreCapabilityObjs().

Referenced by handleAcquireCapabilityAttr(), handleAssertCapabilityAttr(), handleAssertExclusiveLockAttr(), and handleAssertSharedLockAttr().

◆ checkParamIsIntegerType()

template<typename AttrInfo >

static bool checkParamIsIntegerType	(	Sema &	S,
		const Decl *	D,
		const AttrInfo &	AI,
		unsigned	AttrArgNo
	)

static

Checks to be sure that the given parameter number is in bounds, and is an integral type.

Will emit appropriate diagnostics if this returns false.

AttrArgNo is used to actually retrieve the argument, so it's base-0.

Definition at line 818 of file SemaDeclAttr.cpp.

References checkFunctionOrMethodParameterIndex(), clang::Sema::Diag(), clang::ParamIdx::getASTIndex(), clang::Stmt::getBeginLoc(), getFunctionOrMethodParamRange(), getFunctionOrMethodParamType(), clang::Type::isCharType(), and clang::Type::isIntegerType().

Referenced by handleAllocSizeAttr().

◆ checkPositiveIntArgument()

template<typename AttrInfo >

static bool checkPositiveIntArgument	(	Sema &	S,
		const AttrInfo &	AI,
		const Expr *	Expr,
		int &	Val,
		unsigned	Idx = `UINT_MAX`
	)

static

Wrapper around checkUInt32Argument, with an extra check to be sure that the result will fit into a regular (signed) int.

All args have the same purpose as they do in checkUInt32Argument.

Definition at line 254 of file SemaDeclAttr.cpp.

References checkUInt32Argument(), clang::Sema::Diag(), clang::Expr::getExprLoc(), and toString().

Referenced by handleAllocSizeAttr().

◆ checkRecordDeclForAttr()

template<typename AttrType >

static bool checkRecordDeclForAttr ( const RecordDecl * RD )

static

Definition at line 518 of file SemaDeclAttr.cpp.

References clang::Decl::hasAttr().

◆ checkRecordTypeForCapability()

static bool checkRecordTypeForCapability	(	Sema &	S,
		QualType	Ty
	)

static

Definition at line 533 of file SemaDeclAttr.cpp.

References clang::RecordType::getDecl(), getRecordType(), clang::Type::isIncompleteType(), and threadSafetyCheckIsSmartPointer().

Referenced by typeHasCapability().

◆ checkSwiftAsyncErrorBlock()

static void checkSwiftAsyncErrorBlock	(	Sema &	S,
		Decl *	D,
		const SwiftAsyncErrorAttr *	ErrorAttr,
		const SwiftAsyncAttr *	AsyncAttr
	)

static

Definition at line 6504 of file SemaDeclAttr.cpp.

References clang::Type::castAs(), clang::Sema::Context, clang::Sema::Diag(), clang::Type::getAs(), getFunctionOrMethodParam(), clang::Sema::getNSErrorIdent(), clang::ValueDecl::getType(), clang::Sema::isCFError(), and clang::Type::isIntegralType().

Referenced by handleSwiftAsyncAttr(), and handleSwiftAsyncError().

◆ checkTryLockFunAttrCommon()

static bool checkTryLockFunAttrCommon	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL,
		SmallVectorImpl< Expr * > &	Args
	)

static

Definition at line 874 of file SemaDeclAttr.cpp.

References clang::AANT_ArgumentIntOrBool, clang::ParsedAttr::checkAtLeastNumArgs(), checkAttrArgsAreCapabilityObjs(), clang::Sema::Diag(), clang::ParsedAttr::getArgAsExpr(), clang::AttributeCommonInfo::getLoc(), and isIntOrBool().

Referenced by handleExclusiveTrylockFunctionAttr(), handleSharedTrylockFunctionAttr(), and handleTryAcquireCapabilityAttr().

◆ checkTypedefTypeForCapability()

static bool checkTypedefTypeForCapability ( QualType Ty )

static

Definition at line 551 of file SemaDeclAttr.cpp.

References clang::Type::getAs(), and clang::Decl::hasAttr().

Referenced by typeHasCapability().

◆ checkUInt32Argument()

template<typename AttrInfo >

static bool checkUInt32Argument	(	Sema &	S,
		const AttrInfo &	AI,
		const Expr *	Expr,
		uint32_t &	Val,
		unsigned	Idx = `UINT_MAX`,
		bool	StrictlyUnsigned = `false`
	)

static

If Expr is a valid integer constant, get the value of the integer expression and return success or failure.

May output an error.

Negative argument is implicitly converted to unsigned, unless StrictlyUnsigned is true.

Definition at line 218 of file SemaDeclAttr.cpp.

References clang::AANT_ArgumentIntegerConstant, clang::Sema::Context, clang::Sema::Diag(), getAttrLoc(), clang::Expr::getExprLoc(), clang::Expr::getIntegerConstantExpr(), clang::Stmt::getSourceRange(), clang::Expr::isTypeDependent(), toString(), and UINT_MAX.

Referenced by checkAMDGPUFlatWorkGroupSizeArguments(), checkAMDGPUWavesPerEUArguments(), checkPositiveIntArgument(), clang::Sema::CheckRegparmAttr(), handleAMDGPUNumSGPRAttr(), handleAMDGPUNumVGPRAttr(), handleCallbackAttr(), handleConstructorAttr(), handleDestructorAttr(), handleDiagnoseAsBuiltinAttr(), handleFormatAttr(), handleHLSLNumThreadsAttr(), handleInitPriorityAttr(), handleLayoutVersion(), handleMinVectorWidthAttr(), handlePassObjectSizeAttr(), handlePatchableFunctionEntryAttr(), handleSubGroupSize(), handleSwiftAsyncError(), and handleWorkGroupSize().

◆ checkUnusedDeclAttributes()

static void checkUnusedDeclAttributes	(	Sema &	S,
		const ParsedAttributesView &	A
	)

static

checkUnusedDeclAttributes - Check a list of attributes to see if it contains any decl attributes that we should warn about.

Definition at line 9657 of file SemaDeclAttr.cpp.

References clang::Sema::Diag(), clang::AttributeCommonInfo::IgnoredAttribute, and clang::AttributeCommonInfo::UnknownAttribute.

◆ findEnforceTCBAttrByName()

template<typename AttrTy >

static const AttrTy * findEnforceTCBAttrByName	(	Decl *	D,
		StringRef	Name
	)

static

Definition at line 8624 of file SemaDeclAttr.cpp.

References clang::Decl::specific_attrs().

◆ getAttrLoc() [1/2]

template<typename AttrInfo >

static std::enable_if_t< std::is_base_of_v< Attr, AttrInfo >, SourceLocation > getAttrLoc ( const AttrInfo & AL )

static

A helper function to provide Attribute Location for the Attr types AND the ParsedAttr.

Definition at line 207 of file SemaDeclAttr.cpp.

Referenced by checkFunctionOrMethodParameterIndex(), checkUInt32Argument(), and handlePatchableFunctionEntryAttr().

◆ getAttrLoc() [2/2]

static SourceLocation getAttrLoc ( const ParsedAttr & AL )

static

Definition at line 210 of file SemaDeclAttr.cpp.

References clang::AttributeCommonInfo::getLoc().

◆ getCudaArch()

static CudaArch getCudaArch ( const TargetInfo & TI )

static

Definition at line 5612 of file SemaDeclAttr.cpp.

References clang::TargetInfo::getTargetOpts(), clang::TargetInfo::getTriple(), and clang::StringToCudaArch().

◆ getFormatAttrKind()

static FormatAttrKind getFormatAttrKind ( StringRef Format )

static

getFormatAttrKind - Map from format attribute names to supported format types.

Definition at line 3838 of file SemaDeclAttr.cpp.

References CFStringFormat, IgnoredFormat, InvalidFormat, NSStringFormat, StrftimeFormat, and SupportedFormat.

Referenced by handleFormatAttr().

◆ getFunctionOrMethodNumParams()

static unsigned getFunctionOrMethodNumParams ( const Decl * D )

static

getFunctionOrMethodNumParams - Return number of function or method parameters.

It is an error to call this on a K&R function (use hasFunctionProto first).

Definition at line 100 of file SemaDeclAttr.cpp.

References clang::Decl::getFunctionType().

Referenced by checkFunctionOrMethodParameterIndex(), handleAnyX86InterruptAttr(), handleArgumentWithTypeTagAttr(), handleCallbackAttr(), handleFormatAttr(), handleMipsInterruptAttr(), handleMSP430InterruptAttr(), handleNonNullAttr(), handleObjCExternallyRetainedAttr(), handleRISCVInterruptAttr(), handleSwiftError(), and handleSYCLKernelAttr().

◆ getFunctionOrMethodParam()

static const ParmVarDecl * getFunctionOrMethodParam	(	const Decl *	D,
		unsigned	Idx
	)

static

Definition at line 108 of file SemaDeclAttr.cpp.

Referenced by checkSwiftAsyncErrorBlock(), getFunctionOrMethodParamRange(), handleObjCExternallyRetainedAttr(), and handleSwiftAsyncAttr().

◆ getFunctionOrMethodParamRange()

static SourceRange getFunctionOrMethodParamRange	(	const Decl *	D,
		unsigned	Idx
	)

static

Definition at line 128 of file SemaDeclAttr.cpp.

References getFunctionOrMethodParam().

Referenced by checkParamIsIntegerType(), handleAnyX86InterruptAttr(), handleFormatArgAttr(), handleFormatAttr(), and handleNonNullAttr().

◆ getFunctionOrMethodParamType()

static QualType getFunctionOrMethodParamType	(	const Decl *	D,
		unsigned	Idx
	)

static

Definition at line 119 of file SemaDeclAttr.cpp.

References clang::Decl::getFunctionType().

Referenced by clang::Sema::AddAllocAlignAttr(), checkParamIsIntegerType(), handleAnyX86InterruptAttr(), handleArgumentWithTypeTagAttr(), handleCallbackAttr(), handleFormatArgAttr(), handleFormatAttr(), handleNonNullAttr(), handleOwnershipAttr(), and handleSwiftError().

◆ getFunctionOrMethodResultSourceRange()

static SourceRange getFunctionOrMethodResultSourceRange ( const Decl * D )

static

Definition at line 140 of file SemaDeclAttr.cpp.

Referenced by clang::Sema::AddAllocAlignAttr(), clang::Sema::AddAssumeAlignedAttr(), handleAnyX86InterruptAttr(), handleRestrictAttr(), and handleReturnsNonNullAttr().

◆ getFunctionOrMethodResultType()

static QualType getFunctionOrMethodResultType ( const Decl * D )

static

Definition at line 134 of file SemaDeclAttr.cpp.

References clang::Decl::getFunctionType().

Referenced by clang::Sema::AddAllocAlignAttr(), clang::Sema::AddAssumeAlignedAttr(), handleAllocSizeAttr(), handleAnyX86InterruptAttr(), handleFormatArgAttr(), handleMIGServerRoutineAttr(), handleMipsInterruptAttr(), handleMSP430InterruptAttr(), handleRestrictAttr(), handleReturnsNonNullAttr(), handleRISCVInterruptAttr(), handleSwiftError(), and handleSYCLKernelAttr().

◆ getNumAttributeArgs()

static unsigned getNumAttributeArgs ( const ParsedAttr & AL )

static

Definition at line 198 of file SemaDeclAttr.cpp.

References clang::ParsedAttr::getNumArgs(), and clang::ParsedAttr::hasParsedType().

◆ getRecordType()

static const RecordType * getRecordType ( QualType QT )

static

Checks that the passed in QualType either is of RecordType or points to RecordType.

Returns the relevant RecordType, null if it does not exit.

Definition at line 506 of file SemaDeclAttr.cpp.

References clang::Type::getAs(), and clang::Type::getPointeeType().

Referenced by checkAttrArgsAreCapabilityObjs(), checkRecordTypeForCapability(), and clang::CodeGen::CodeGenModule::EmitTopLevelDecl().

◆ handleAbiTagAttr()

static void handleAbiTagAttr	(	Sema &	S,
		Decl *	D,
		const ParsedAttr &	AL
	)

static

Definition at line 7319 of file SemaDeclAttr.cpp.

References clang::Decl::addAttr(), clang::ParsedAttr::checkAtLeastNumArgs(), clang::Sema::checkStringLiteralArgumentAttr(), clang::Sema::Context, clang::Sema::Diag(), clang::AttributeCommonInfo::getLoc(), and clang::ParsedAttr::getNumArgs().

Namespaces

Enumerations

Functions

Enumeration Type Documentation

◆ FormatAttrKind

Function Documentation

◆ appendDiagnostics() [1/2]

◆ appendDiagnostics() [2/2]

◆ ArmBuiltinAliasValid()

◆ ArmCdeAliasValid()

◆ ArmMveAliasValid()

◆ ArmSmeAliasValid()

◆ ArmSveAliasValid()

◆ attrNonNullArgCheck()

◆ checkAcquireOrderAttrCommon()

◆ checkAMDGPUFlatWorkGroupSizeArguments()

◆ checkAMDGPUWavesPerEUArguments()

◆ checkAssumptionAttr()

◆ checkAttrArgsAreCapabilityObjs()

◆ checkAttrMutualExclusion() [1/2]

◆ checkAttrMutualExclusion() [2/2]

◆ checkAvailabilityAttr()

◆ checkCodeSegName()

◆ checkForConsumableClass()

◆ checkFunctionConditionAttr()

◆ checkFunctionOrMethodParameterIndex()

◆ checkGuardedByAttrCommon()

◆ checkIBOutletCommon()

◆ checkLockFunAttrCommon()

◆ checkParamIsIntegerType()

◆ checkPositiveIntArgument()

◆ checkRecordDeclForAttr()

◆ checkRecordTypeForCapability()

◆ checkSwiftAsyncErrorBlock()

◆ checkTryLockFunAttrCommon()

◆ checkTypedefTypeForCapability()

◆ checkUInt32Argument()

◆ checkUnusedDeclAttributes()

◆ findEnforceTCBAttrByName()

◆ getAttrLoc() [1/2]

◆ getAttrLoc() [2/2]

◆ getCudaArch()

◆ getFormatAttrKind()

◆ getFunctionOrMethodNumParams()

◆ getFunctionOrMethodParam()

◆ getFunctionOrMethodParamRange()

◆ getFunctionOrMethodParamType()

◆ getFunctionOrMethodResultSourceRange()

◆ getFunctionOrMethodResultType()

◆ getNumAttributeArgs()

◆ getRecordType()

◆ handleAbiTagAttr()

◆ handleAcquireCapabilityAttr()

◆ handleAcquiredAfterAttr()

◆ handleAcquiredBeforeAttr()

◆ handleAcquireHandleAttr()

◆ handleAliasAttr()

◆ handleAlignedAttr()

◆ handleAlignValueAttr()

◆ handleAllocAlignAttr()

◆ handleAllocSizeAttr()

◆ handleAlwaysInlineAttr()

◆ handleAMDGPUFlatWorkGroupSizeAttr()

◆ handleAMDGPUNumSGPRAttr()

◆ handleAMDGPUNumVGPRAttr()

◆ handleAMDGPUWavesPerEUAttr()

◆ handleAnalyzerNoReturnAttr()

◆ handleAnnotateAttr()

◆ handleAnyX86InterruptAttr()

◆ handleArgumentWithTypeTagAttr()

◆ handleArmBuiltinAliasAttr()

◆ handleARMInterruptAttr()

◆ handleArmNewZaAttr()

◆ handleAssertCapabilityAttr()

◆ handleAssertExclusiveLockAttr()

◆ handleAssertSharedLockAttr()

◆ handleAssumeAlignedAttr()

◆ handleAssumumptionAttr()

◆ handleAttrWithMessage()

◆ handleAvailabilityAttr()