attr-capabilities.c 4.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. // RUN: %clang_cc1 -fsyntax-only -Wthread-safety -verify %s
  2. typedef int __attribute__((capability("role"))) ThreadRole;
  3. struct __attribute__((shared_capability("mutex"))) Mutex {};
  4. struct NotACapability {};
  5. // Test an invalid capability name
  6. struct __attribute__((capability("wrong"))) IncorrectName {}; // expected-warning {{invalid capability name 'wrong'; capability name must be 'mutex' or 'role'}}
  7. int Test1 __attribute__((capability("test1"))); // expected-error {{'capability' attribute only applies to structs and typedefs}}
  8. int Test2 __attribute__((shared_capability("test2"))); // expected-error {{'shared_capability' attribute only applies to structs and typedefs}}
  9. int Test3 __attribute__((acquire_capability("test3"))); // expected-warning {{'acquire_capability' attribute only applies to functions}}
  10. int Test4 __attribute__((try_acquire_capability("test4"))); // expected-error {{'try_acquire_capability' attribute only applies to functions}}
  11. int Test5 __attribute__((release_capability("test5"))); // expected-warning {{'release_capability' attribute only applies to functions}}
  12. struct __attribute__((capability(12))) Test3 {}; // expected-error {{'capability' attribute requires a string}}
  13. struct __attribute__((shared_capability(Test2))) Test4 {}; // expected-error {{'shared_capability' attribute requires a string}}
  14. struct __attribute__((capability)) Test5 {}; // expected-error {{'capability' attribute takes one argument}}
  15. struct __attribute__((shared_capability("test1", 12))) Test6 {}; // expected-error {{'shared_capability' attribute takes one argument}}
  16. struct NotACapability BadCapability;
  17. ThreadRole GUI, Worker;
  18. void Func1(void) __attribute__((requires_capability(GUI))) {}
  19. void Func2(void) __attribute__((requires_shared_capability(Worker))) {}
  20. void Func3(void) __attribute__((requires_capability)) {} // expected-error {{'requires_capability' attribute takes at least 1 argument}}
  21. void Func4(void) __attribute__((requires_shared_capability)) {} // expected-error {{'requires_shared_capability' attribute takes at least 1 argument}}
  22. void Func5(void) __attribute__((requires_capability(1))) {} // expected-warning {{'requires_capability' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'int'}}
  23. void 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'}}
  24. void Func7(void) __attribute__((assert_capability(GUI))) {}
  25. void Func8(void) __attribute__((assert_shared_capability(GUI))) {}
  26. void Func9(void) __attribute__((assert_capability())) {} // expected-error {{'assert_capability' attribute takes one argument}}
  27. void Func10(void) __attribute__((assert_shared_capability())) {} // expected-error {{'assert_shared_capability' attribute takes one argument}}
  28. void Func11(void) __attribute__((acquire_capability(GUI))) {}
  29. void Func12(void) __attribute__((acquire_shared_capability(GUI))) {}
  30. void Func15(void) __attribute__((release_capability(GUI))) {}
  31. void Func16(void) __attribute__((release_shared_capability(GUI))) {}
  32. void Func17(void) __attribute__((release_generic_capability(GUI))) {}
  33. void Func21(void) __attribute__((try_acquire_capability(1))) {}
  34. void Func22(void) __attribute__((try_acquire_shared_capability(1))) {}
  35. void Func23(void) __attribute__((try_acquire_capability(1, GUI))) {}
  36. void Func24(void) __attribute__((try_acquire_shared_capability(1, GUI))) {}
  37. void Func25(void) __attribute__((try_acquire_capability())) {} // expected-error {{'try_acquire_capability' attribute takes at least 1 argument}}
  38. void Func26(void) __attribute__((try_acquire_shared_capability())) {} // expected-error {{'try_acquire_shared_capability' attribute takes at least 1 argument}}
  39. // Test that boolean logic works with capability attributes
  40. void Func27(void) __attribute__((requires_capability(!GUI)));
  41. void Func28(void) __attribute__((requires_capability(GUI && Worker)));
  42. void Func29(void) __attribute__((requires_capability(GUI || Worker)));
  43. void Func30(void) __attribute__((requires_capability((Worker || Worker) && !GUI)));
  44. int AlsoNotACapability;
  45. 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'}}