27 ThreadRole GUI, Worker;  variable
28 void Func1(void) __attribute__((requires_capability(GUI))) {}  in Func1()
37 void Func7(void) __attribute__((assert_capability(GUI))) {}  in Func7()
38 void Func8(void) __attribute__((assert_shared_capability(GUI))) {}  in Func8()
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()
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()
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…