Capability attributes can now be declared on a typedef declaration as well as a…

Description

Capability attributes can now be declared on a typedef declaration as well as a structure declaration. This allows for C code to use Boolean expressions on a capability as part of another attribute. Eg) attribute((requires_capability(!SomeCapability)))

Details

Committed
aaronballmanMar 24 2014, 12:29 PM
Parents
rL204656: tsan: optimize vector clock operations
Branches
Unknown
Tags
Unknown