| Yi Kong | 2d58d19 | 2017-12-14 22:24:45 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -fsyntax-only -Wthread-safety -verify %s |
| 2 | |
| 3 | class __attribute__((shared_capability("mutex"))) Mutex { |
| 4 | public: |
| 5 | void func1() __attribute__((assert_capability(this))); |
| 6 | void func2() __attribute__((assert_capability(!this))); |
| 7 | |
| 8 | const Mutex& operator!() const { return *this; } |
| 9 | }; |
| 10 | |
| 11 | class NotACapability { |
| 12 | public: |
| 13 | void func1() __attribute__((assert_capability(this))); // expected-warning {{'assert_capability' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'NotACapability *'}} |
| 14 | void func2() __attribute__((assert_capability(!this))); // expected-warning {{'assert_capability' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'bool'}} |
| 15 | |
| 16 | const NotACapability& operator!() const { return *this; } |
| 17 | }; |