forked from OSchip/llvm-project
Updating Subjects definitions for attributes based on semantic handling. Removes Subjects for things we cannot currently check, adds Subjects for things we can, and rectifies most discrepancies. Since Subjects are not currently handled in tablegen, there are no functional changes with this patch.
llvm-svn: 195508
This commit is contained in:
Aaron Ballman
parent
c8f0779c38
commit
1b4a669570
|
|
@ -202,6 +202,7 @@ def AllocSize : InheritableAttr {
|
|||
|
||||
def AlwaysInline : InheritableAttr {
|
||||
let Spellings = [GNU<"always_inline">, CXX11<"gnu", "always_inline">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def TLSModel : InheritableAttr {
|
||||
|
|
@ -246,6 +247,7 @@ def Availability : InheritableAttr {
|
|||
.Default(llvm::StringRef());
|
||||
} }];
|
||||
let HasCustomParsing = 1;
|
||||
let Subjects = [Named];
|
||||
}
|
||||
|
||||
def Blocks : InheritableAttr {
|
||||
|
|
@ -304,14 +306,17 @@ def CFConsumed : InheritableParamAttr {
|
|||
def Cleanup : InheritableAttr {
|
||||
let Spellings = [GNU<"cleanup">, CXX11<"gnu", "cleanup">];
|
||||
let Args = [FunctionArgument<"FunctionDecl">];
|
||||
let Subjects = [Var];
|
||||
}
|
||||
|
||||
def Cold : InheritableAttr {
|
||||
let Spellings = [GNU<"cold">, CXX11<"gnu", "cold">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def Common : InheritableAttr {
|
||||
let Spellings = [GNU<"common">, CXX11<"gnu", "common">];
|
||||
let Subjects = [Var];
|
||||
}
|
||||
|
||||
def Const : InheritableAttr {
|
||||
|
|
@ -322,22 +327,27 @@ def Const : InheritableAttr {
|
|||
def Constructor : InheritableAttr {
|
||||
let Spellings = [GNU<"constructor">, CXX11<"gnu", "constructor">];
|
||||
let Args = [DefaultIntArgument<"Priority", 65535>];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def CUDAConstant : InheritableAttr {
|
||||
let Spellings = [GNU<"constant">];
|
||||
let Subjects = [Var];
|
||||
}
|
||||
|
||||
def CUDADevice : InheritableAttr {
|
||||
let Spellings = [GNU<"device">];
|
||||
let Subjects = [Function, Var];
|
||||
}
|
||||
|
||||
def CUDAGlobal : InheritableAttr {
|
||||
let Spellings = [GNU<"global">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def CUDAHost : InheritableAttr {
|
||||
let Spellings = [GNU<"host">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def CUDALaunchBounds : InheritableAttr {
|
||||
|
|
@ -347,6 +357,7 @@ def CUDALaunchBounds : InheritableAttr {
|
|||
|
||||
def CUDAShared : InheritableAttr {
|
||||
let Spellings = [GNU<"shared">];
|
||||
let Subjects = [Var];
|
||||
}
|
||||
|
||||
def C11NoReturn : InheritableAttr {
|
||||
|
|
@ -378,10 +389,12 @@ def Deprecated : InheritableAttr {
|
|||
def Destructor : InheritableAttr {
|
||||
let Spellings = [GNU<"destructor">, CXX11<"gnu", "destructor">];
|
||||
let Args = [DefaultIntArgument<"Priority", 65535>];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def ExtVectorType : Attr {
|
||||
let Spellings = [GNU<"ext_vector_type">];
|
||||
let Subjects = [TypedefName];
|
||||
let Args = [ExprArgument<"NumElements">];
|
||||
let ASTNode = 0;
|
||||
}
|
||||
|
|
@ -405,7 +418,7 @@ def Final : InheritableAttr {
|
|||
|
||||
def MinSize : InheritableAttr {
|
||||
let Spellings = [GNU<"minsize">];
|
||||
let Subjects = [Function];
|
||||
let Subjects = [Function, ObjCMethod];
|
||||
}
|
||||
|
||||
def Format : InheritableAttr {
|
||||
|
|
@ -421,27 +434,33 @@ def FormatArg : InheritableAttr {
|
|||
|
||||
def GNUInline : InheritableAttr {
|
||||
let Spellings = [GNU<"gnu_inline">, CXX11<"gnu", "gnu_inline">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def Hot : InheritableAttr {
|
||||
let Spellings = [GNU<"hot">, CXX11<"gnu", "hot">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def IBAction : InheritableAttr {
|
||||
let Spellings = [GNU<"ibaction">];
|
||||
let Subjects = [ObjCMethod];
|
||||
}
|
||||
|
||||
def IBOutlet : InheritableAttr {
|
||||
let Spellings = [GNU<"iboutlet">];
|
||||
let Subjects = [ObjCIvar, ObjCProperty];
|
||||
}
|
||||
|
||||
def IBOutletCollection : InheritableAttr {
|
||||
let Spellings = [GNU<"iboutletcollection">];
|
||||
let Args = [TypeArgument<"Interface", 1>];
|
||||
let Subjects = [ObjCIvar, ObjCProperty];
|
||||
}
|
||||
|
||||
def Malloc : InheritableAttr {
|
||||
let Spellings = [GNU<"malloc">, CXX11<"gnu", "malloc">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def MaxFieldAlignment : InheritableAttr {
|
||||
|
|
@ -477,6 +496,7 @@ def Mode : Attr {
|
|||
|
||||
def Naked : InheritableAttr {
|
||||
let Spellings = [GNU<"naked">, CXX11<"gnu", "naked">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def NeonPolyVectorType : TypeAttr {
|
||||
|
|
@ -491,10 +511,12 @@ def NeonVectorType : TypeAttr {
|
|||
|
||||
def ReturnsTwice : InheritableAttr {
|
||||
let Spellings = [GNU<"returns_twice">, CXX11<"gnu", "returns_twice">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def NoCommon : InheritableAttr {
|
||||
let Spellings = [GNU<"nocommon">, CXX11<"gnu", "nocommon">];
|
||||
let Subjects = [Var];
|
||||
}
|
||||
|
||||
def NoDebug : InheritableAttr {
|
||||
|
|
@ -503,6 +525,7 @@ def NoDebug : InheritableAttr {
|
|||
|
||||
def NoInline : InheritableAttr {
|
||||
let Spellings = [GNU<"noinline">, CXX11<"gnu", "noinline">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def NoMips16 : InheritableAttr, TargetSpecificAttr {
|
||||
|
|
@ -526,7 +549,6 @@ def NonNull : InheritableAttr {
|
|||
def NoReturn : InheritableAttr {
|
||||
let Spellings = [GNU<"noreturn">, CXX11<"gnu", "noreturn">];
|
||||
// FIXME: Does GCC allow this on the function instead?
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def NoInstrumentFunction : InheritableAttr {
|
||||
|
|
@ -584,6 +606,7 @@ def NSConsumed : InheritableParamAttr {
|
|||
|
||||
def ObjCException : InheritableAttr {
|
||||
let Spellings = [GNU<"objc_exception">];
|
||||
let Subjects = [ObjCInterface];
|
||||
}
|
||||
|
||||
def ObjCMethodFamily : InheritableAttr {
|
||||
|
|
@ -621,6 +644,7 @@ def ObjCRootClass : InheritableAttr {
|
|||
|
||||
def Overloadable : Attr {
|
||||
let Spellings = [GNU<"overloadable">];
|
||||
let Subjects = [Function];
|
||||
}
|
||||
|
||||
def Override : InheritableAttr {
|
||||
|
|
@ -641,6 +665,7 @@ def Ownership : InheritableAttr {
|
|||
|
||||
def Packed : InheritableAttr {
|
||||
let Spellings = [GNU<"packed">, CXX11<"gnu", "packed">];
|
||||
let Subjects = [Tag, Field];
|
||||
}
|
||||
|
||||
def PnaclCall : InheritableAttr {
|
||||
|
|
@ -686,6 +711,7 @@ def WorkGroupSizeHint : InheritableAttr {
|
|||
def InitPriority : InheritableAttr {
|
||||
let Spellings = [GNU<"init_priority">];
|
||||
let Args = [UnsignedArgument<"Priority">];
|
||||
let Subjects = [Var];
|
||||
}
|
||||
|
||||
def Section : InheritableAttr {
|
||||
|
|
@ -697,6 +723,7 @@ def Sentinel : InheritableAttr {
|
|||
let Spellings = [GNU<"sentinel">, CXX11<"gnu", "sentinel">];
|
||||
let Args = [DefaultIntArgument<"Sentinel", 0>,
|
||||
DefaultIntArgument<"NullPos", 0>];
|
||||
let Subjects = [Function, ObjCMethod, Block, Var];
|
||||
}
|
||||
|
||||
def StdCall : InheritableAttr {
|
||||
|
|
@ -723,6 +750,7 @@ def Pascal : InheritableAttr {
|
|||
|
||||
def TransparentUnion : InheritableAttr {
|
||||
let Spellings = [GNU<"transparent_union">, CXX11<"gnu", "transparent_union">];
|
||||
let Subjects = [Record, TypedefName];
|
||||
}
|
||||
|
||||
def Unavailable : InheritableAttr {
|
||||
|
|
@ -789,6 +817,7 @@ def TypeVisibility : InheritableAttr {
|
|||
let Args = [EnumArgument<"Visibility", "VisibilityType",
|
||||
["default", "hidden", "internal", "protected"],
|
||||
["Default", "Hidden", "Hidden", "Protected"]>];
|
||||
let Subjects = [Tag, ObjCInterface, Namespace];
|
||||
}
|
||||
|
||||
def VecReturn : InheritableAttr {
|
||||
|
|
@ -809,6 +838,7 @@ def WarnUnusedResult : InheritableAttr {
|
|||
|
||||
def Weak : InheritableAttr {
|
||||
let Spellings = [GNU<"weak">, CXX11<"gnu", "weak">];
|
||||
let Subjects = [Var, Function, CXXRecord];
|
||||
}
|
||||
|
||||
def WeakImport : InheritableAttr {
|
||||
|
|
@ -819,6 +849,7 @@ def WeakRef : InheritableAttr {
|
|||
let Spellings = [GNU<"weakref">, CXX11<"gnu", "weakref">];
|
||||
// A WeakRef that has an argument is treated as being an AliasAttr
|
||||
let Args = [StringArgument<"Aliasee", 1>];
|
||||
let Subjects = [Var, Function];
|
||||
}
|
||||
|
||||
def X86ForceAlignArgPointer : InheritableAttr, TargetSpecificAttr {
|
||||
|
|
@ -831,16 +862,19 @@ def NoSanitizeAddress : InheritableAttr {
|
|||
GNU<"no_sanitize_address">,
|
||||
CXX11<"gnu", "no_address_safety_analysis">,
|
||||
CXX11<"gnu", "no_sanitize_address">];
|
||||
let Subjects = [Function, FunctionTemplate];
|
||||
}
|
||||
|
||||
// Attribute to disable ThreadSanitizer checks.
|
||||
def NoSanitizeThread : InheritableAttr {
|
||||
let Spellings = [GNU<"no_sanitize_thread">];
|
||||
let Subjects = [Function, FunctionTemplate];
|
||||
}
|
||||
|
||||
// Attribute to disable MemorySanitizer checks.
|
||||
def NoSanitizeMemory : InheritableAttr {
|
||||
let Spellings = [GNU<"no_sanitize_memory">];
|
||||
let Subjects = [Function, FunctionTemplate];
|
||||
}
|
||||
|
||||
// C/C++ Thread safety attributes (e.g. for deadlock, data race checking)
|
||||
|
|
@ -1053,7 +1087,6 @@ def ArgumentWithTypeTag : InheritableAttr {
|
|||
UnsignedArgument<"ArgumentIdx">,
|
||||
UnsignedArgument<"TypeTagIdx">,
|
||||
BoolArgument<"IsPointer">];
|
||||
let Subjects = [Function];
|
||||
let HasCustomParsing = 1;
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue