28 void Func1(void) __attribute__((requires_capability(GUI))) {}  in Func1()  argument
29 void Func2(void) __attribute__((requires_shared_capability(Worker))) {}  in Func2()  argument
31 void Func3(void) __attribute__((requires_capability)) {}  // expected-error {{'requires_capability'…  in Func3()  argument
32 void Func4(void) __attribute__((requires_shared_capability)) {}  // expected-error {{'requires_shar…  in Func4()  argument
34 void Func5(void) __attribute__((requires_capability(1))) {}  // expected-warning {{'requires_capabi…  in Func5()  argument
35 void Func6(void) __attribute__((requires_shared_capability(BadCapability))) {}  // expected-warning…  in Func6()  argument
37 void Func7(void) __attribute__((assert_capability(GUI))) {}  in Func7()  argument
38 void Func8(void) __attribute__((assert_shared_capability(GUI))) {}  in Func8()  argument
40 void Func9(void) __attribute__((assert_capability())) {} // expected-warning {{'assert_capability' …  in Func9()  argument
41 void Func10(void) __attribute__((assert_shared_capability())) {} // expected-warning {{'assert_shar…  in Func10()  argument
43 void Func11(void) __attribute__((acquire_capability(GUI))) {}  in Func11()  argument
44 void Func12(void) __attribute__((acquire_shared_capability(GUI))) {}  in Func12()  argument
46 void Func13(void) __attribute__((acquire_capability())) {} // expected-warning {{'acquire_capabilit…  in Func13()  argument
47 void Func14(void) __attribute__((acquire_shared_capability())) {} // expected-warning {{'acquire_sh…  in Func14()  argument
49 void Func15(void) __attribute__((release_capability(GUI))) {}  in Func15()  argument
50 void Func16(void) __attribute__((release_shared_capability(GUI))) {}  in Func16()  argument
51 void Func17(void) __attribute__((release_generic_capability(GUI))) {}  in Func17()  argument
53 void Func18(void) __attribute__((release_capability())) {} // expected-warning {{'release_capabilit…  in Func18()  argument
54 void Func19(void) __attribute__((release_shared_capability())) {} // expected-warning {{'release_sh…  in Func19()  argument
55 void Func20(void) __attribute__((release_generic_capability())) {} // expected-warning {{'release_g…  in Func20()  argument
57 void Func21(void) __attribute__((try_acquire_capability(1))) {} // expected-warning {{'try_acquire_…  in Func21()  argument
58 void Func22(void) __attribute__((try_acquire_shared_capability(1))) {} // expected-warning {{'try_a…  in Func22()  argument
60 void Func23(void) __attribute__((try_acquire_capability(1, GUI))) {}  in Func23()  argument
61 void Func24(void) __attribute__((try_acquire_shared_capability(1, GUI))) {}  in Func24()  argument
63 void Func25(void) __attribute__((try_acquire_capability())) {} // expected-error {{'try_acquire_cap…  in Func25()  argument
64 void Func26(void) __attribute__((try_acquire_shared_capability())) {} // expected-error {{'try_acqu…  in Func26()  argument