This patch allows a capability attribute to be declared on a typedef
declaration (as a declaration attribute, not a type attribute). Eg)
typedef int __attribute__((capability("role"))) ThreadRole;This is necessary for a WIP for Boolean expressions involving capability attributes in C, where there are not operator overloads that we can use. Eg) void func(void) __attribute__((requires_capability(!SomeCap))); This patch removes an existing diagnostic because it no longer applies, which is why there is a fair amount of testcase churn. ~Aaron
CapabilityInt.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
