Searched refs:BadCapability (Results 1 – 1 of 1) sorted by relevance
26 struct NotACapability BadCapability; variable35 void Func6(void) __attribute__((requires_shared_capability(BadCapability))) {} // expected-warning… in Func6()