1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -Wthread-safety -verify %s 2*67e74705SXin Li 3*67e74705SXin Li typedef int __attribute__((capability("role"))) ThreadRole; 4*67e74705SXin Li struct __attribute__((shared_capability("mutex"))) Mutex {}; 5*67e74705SXin Li struct NotACapability {}; 6*67e74705SXin Li 7*67e74705SXin Li // Put capability attributes on unions 8*67e74705SXin Li union __attribute__((capability("mutex"))) MutexUnion { int a; char* b; }; 9*67e74705SXin Li typedef union { int a; char* b; } __attribute__((capability("mutex"))) MutexUnion2; 10*67e74705SXin Li 11*67e74705SXin Li // Test an invalid capability name 12*67e74705SXin Li struct __attribute__((capability("wrong"))) IncorrectName {}; // expected-warning {{invalid capability name 'wrong'; capability name must be 'mutex' or 'role'}} 13*67e74705SXin Li 14*67e74705SXin Li int Test1 __attribute__((capability("test1"))); // expected-error {{'capability' attribute only applies to structs, unions, and typedefs}} 15*67e74705SXin Li int Test2 __attribute__((shared_capability("test2"))); // expected-error {{'shared_capability' attribute only applies to structs, unions, and typedefs}} 16*67e74705SXin Li int Test3 __attribute__((acquire_capability("test3"))); // expected-warning {{'acquire_capability' attribute only applies to functions}} 17*67e74705SXin Li int Test4 __attribute__((try_acquire_capability("test4"))); // expected-error {{'try_acquire_capability' attribute only applies to functions}} 18*67e74705SXin Li int Test5 __attribute__((release_capability("test5"))); // expected-warning {{'release_capability' attribute only applies to functions}} 19*67e74705SXin Li 20*67e74705SXin Li struct __attribute__((capability(12))) Test3 {}; // expected-error {{'capability' attribute requires a string}} 21*67e74705SXin Li struct __attribute__((shared_capability(Test2))) Test4 {}; // expected-error {{'shared_capability' attribute requires a string}} 22*67e74705SXin Li 23*67e74705SXin Li struct __attribute__((capability)) Test5 {}; // expected-error {{'capability' attribute takes one argument}} 24*67e74705SXin Li struct __attribute__((shared_capability("test1", 12))) Test6 {}; // expected-error {{'shared_capability' attribute takes one argument}} 25*67e74705SXin Li 26*67e74705SXin Li struct NotACapability BadCapability; 27*67e74705SXin Li ThreadRole GUI, Worker; Func1(void)28*67e74705SXin Livoid Func1(void) __attribute__((requires_capability(GUI))) {} Func2(void)29*67e74705SXin Livoid Func2(void) __attribute__((requires_shared_capability(Worker))) {} 30*67e74705SXin Li Func3(void)31*67e74705SXin Livoid Func3(void) __attribute__((requires_capability)) {} // expected-error {{'requires_capability' attribute takes at least 1 argument}} Func4(void)32*67e74705SXin Livoid Func4(void) __attribute__((requires_shared_capability)) {} // expected-error {{'requires_shared_capability' attribute takes at least 1 argument}} 33*67e74705SXin Li Func5(void)34*67e74705SXin Livoid Func5(void) __attribute__((requires_capability(1))) {} // expected-warning {{'requires_capability' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'int'}} Func6(void)35*67e74705SXin Livoid Func6(void) __attribute__((requires_shared_capability(BadCapability))) {} // expected-warning {{'requires_shared_capability' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'struct NotACapability'}} 36*67e74705SXin Li Func7(void)37*67e74705SXin Livoid Func7(void) __attribute__((assert_capability(GUI))) {} Func8(void)38*67e74705SXin Livoid Func8(void) __attribute__((assert_shared_capability(GUI))) {} 39*67e74705SXin Li Func9(void)40*67e74705SXin Livoid Func9(void) __attribute__((assert_capability())) {} // expected-error {{'assert_capability' attribute takes one argument}} Func10(void)41*67e74705SXin Livoid Func10(void) __attribute__((assert_shared_capability())) {} // expected-error {{'assert_shared_capability' attribute takes one argument}} 42*67e74705SXin Li Func11(void)43*67e74705SXin Livoid Func11(void) __attribute__((acquire_capability(GUI))) {} Func12(void)44*67e74705SXin Livoid Func12(void) __attribute__((acquire_shared_capability(GUI))) {} 45*67e74705SXin Li Func15(void)46*67e74705SXin Livoid Func15(void) __attribute__((release_capability(GUI))) {} Func16(void)47*67e74705SXin Livoid Func16(void) __attribute__((release_shared_capability(GUI))) {} Func17(void)48*67e74705SXin Livoid Func17(void) __attribute__((release_generic_capability(GUI))) {} 49*67e74705SXin Li Func21(void)50*67e74705SXin Livoid Func21(void) __attribute__((try_acquire_capability(1))) {} Func22(void)51*67e74705SXin Livoid Func22(void) __attribute__((try_acquire_shared_capability(1))) {} 52*67e74705SXin Li Func23(void)53*67e74705SXin Livoid Func23(void) __attribute__((try_acquire_capability(1, GUI))) {} Func24(void)54*67e74705SXin Livoid Func24(void) __attribute__((try_acquire_shared_capability(1, GUI))) {} 55*67e74705SXin Li Func25(void)56*67e74705SXin Livoid Func25(void) __attribute__((try_acquire_capability())) {} // expected-error {{'try_acquire_capability' attribute takes at least 1 argument}} Func26(void)57*67e74705SXin Livoid Func26(void) __attribute__((try_acquire_shared_capability())) {} // expected-error {{'try_acquire_shared_capability' attribute takes at least 1 argument}} 58*67e74705SXin Li 59*67e74705SXin Li // Test that boolean logic works with capability attributes 60*67e74705SXin Li void Func27(void) __attribute__((requires_capability(!GUI))); 61*67e74705SXin Li void Func28(void) __attribute__((requires_capability(GUI && Worker))); 62*67e74705SXin Li void Func29(void) __attribute__((requires_capability(GUI || Worker))); 63*67e74705SXin Li void Func30(void) __attribute__((requires_capability((Worker || Worker) && !GUI))); 64*67e74705SXin Li 65*67e74705SXin Li int AlsoNotACapability; 66*67e74705SXin Li void Func31(void) __attribute__((requires_capability(GUI && AlsoNotACapability))); // expected-warning {{'requires_capability' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'int'}} 67