3 typedef int __attribute__((capability("role"))) ThreadRole;
4 struct __attribute__((shared_capability("mutex"))) Mutex {};
8 union __attribute__((capability("mutex"))) MutexUnion { int a; char* b; };
9 typedef union { int a; char* b; } __attribute__((capability("mutex"))) MutexUnion2;
12 struct __attribute__((capability("wrong"))) IncorrectName {}; // expected-warning {{invalid capabil…
14 int Test1 __attribute__((capability("test1")));  // expected-error {{'capability' attribute only ap…
15 int Test2 __attribute__((shared_capability("test2"))); // expected-error {{'shared_capability' attr…
16 int Test3 __attribute__((acquire_capability("test3")));  // expected-warning {{'acquire_capability'…
17 int Test4 __attribute__((try_acquire_capability("test4"))); // expected-error {{'try_acquire_capabi…
18 int Test5 __attribute__((release_capability("test5"))); // expected-warning {{'release_capability' …
20 struct __attribute__((capability(12))) Test3 {}; // expected-error {{'capability' attribute require…
21 struct __attribute__((shared_capability(Test2))) Test4 {}; // expected-error {{'shared_capability' …
23 struct __attribute__((capability)) Test5 {}; // expected-error {{'capability' attribute takes one a…
24 struct __attribute__((shared_capability("test1", 12))) Test6 {}; // expected-error {{'shared_capabi…
28 void Func1(void) __attribute__((requires_capability(GUI))) {}  in Func1()
29 void Func2(void) __attribute__((requires_shared_capability(Worker))) {}  in Func2()
31 void Func3(void) __attribute__((requires_capability)) {}  // expected-error {{'requires_capability'…  in Func3()
32 void Func4(void) __attribute__((requires_shared_capability)) {}  // expected-error {{'requires_shar…  in Func4()
34 void Func5(void) __attribute__((requires_capability(1))) {}  // expected-warning {{'requires_capabi…  in Func5()
35 void Func6(void) __attribute__((requires_shared_capability(BadCapability))) {}  // expected-warning…  in Func6()
37 void Func7(void) __attribute__((assert_capability(GUI))) {}  in Func7()
38 void Func8(void) __attribute__((assert_shared_capability(GUI))) {}  in Func8()
40 void Func9(void) __attribute__((assert_capability())) {} // expected-error {{'assert_capability' at…  in Func9()
41 void Func10(void) __attribute__((assert_shared_capability())) {} // expected-error {{'assert_shared…  in Func10()
43 void Func11(void) __attribute__((acquire_capability(GUI))) {}  in Func11()
44 void Func12(void) __attribute__((acquire_shared_capability(GUI))) {}  in Func12()
46 void Func15(void) __attribute__((release_capability(GUI))) {}  in Func15()
47 void Func16(void) __attribute__((release_shared_capability(GUI))) {}  in Func16()
48 void Func17(void) __attribute__((release_generic_capability(GUI))) {}  in Func17()
50 void Func21(void) __attribute__((try_acquire_capability(1))) {}  in Func21()
51 void Func22(void) __attribute__((try_acquire_shared_capability(1))) {}  in Func22()
53 void Func23(void) __attribute__((try_acquire_capability(1, GUI))) {}  in Func23()
54 void Func24(void) __attribute__((try_acquire_shared_capability(1, GUI))) {}  in Func24()
56 void Func25(void) __attribute__((try_acquire_capability())) {} // expected-error {{'try_acquire_cap…  in Func25()
57 void Func26(void) __attribute__((try_acquire_shared_capability())) {} // expected-error {{'try_acqu…  in Func26()
60 void Func27(void) __attribute__((requires_capability(!GUI)));
61 void Func28(void) __attribute__((requires_capability(GUI && Worker)));
62 void Func29(void) __attribute__((requires_capability(GUI || Worker)));
63 void Func30(void) __attribute__((requires_capability((Worker || Worker) && !GUI)));
66 void Func31(void) __attribute__((requires_capability(GUI && AlsoNotACapability))); // expected-warn…