| 1 | // RUN: %clang_cc1 -std=gnu++17 -fsyntax-only -fms-compatibility -verify %s
|
|---|
| 2 |
|
|---|
| 3 | void f() {
|
|---|
| 4 | // GNU-style attributes are prohibited in this position.
|
|---|
| 5 | auto P = new int * __attribute__((vector_size(8))); // expected-error {{an attribute list cannot appear here}} \ |
|---|
| 6 | // expected-error {{invalid vector element type 'int *'}} |
|---|
| 7 | |
|---|
| 8 | // Ensure that MS type attribute keywords are still supported in this |
|---|
| 9 | // position. |
|---|
| 10 | auto P2 = new int * __sptr; // Ok |
|---|
| 11 | } |
|---|
| 12 | |
|---|
| 13 | void g(int a[static [[]] 5]); // expected-error {{static array size is a C99 feature, not permitted in C++}} |
|---|
| 14 | |
|---|
| 15 | namespace { |
|---|
| 16 | class B { |
|---|
| 17 | public: |
|---|
| 18 | virtual void test() {} |
|---|
| 19 | virtual void test2() {} |
|---|
| 20 | virtual void test3() {} |
|---|
| 21 | }; |
|---|
| 22 | |
|---|
| 23 | class D : public B { |
|---|
| 24 | public: |
|---|
| 25 | void test() __attribute__((deprecated)) final {} // expected-warning {{GCC does not allow an attribute in this position on a function declaration}} |
|---|
| 26 | void test2() [[]] override {} // Ok |
|---|
| 27 | void test3() __attribute__((cf_unknown_transfer)) override {} // Ok, not known to GCC. |
|---|
| 28 | }; |
|---|
| 29 | } |
|---|
| 30 | |
|---|
| 31 | template<typename T> |
|---|
| 32 | union Tu { T b; } __attribute__((transparent_union)); // expected-warning {{'transparent_union' attribute ignored}} |
|---|
| 33 | |
|---|
| 34 | template<typename T> |
|---|
| 35 | union Tu2 { int x; T b; } __attribute__((transparent_union)); // expected-warning {{'transparent_union' attribute ignored}} |
|---|
| 36 | |
|---|
| 37 | union Tu3 { int x; } __attribute((transparent_union)); // expected-warning {{'transparent_union' attribute ignored}} |
|---|
| 38 | |
|---|
| 39 | void tuTest1(Tu<int> u); // expected-note {{candidate function not viable: no known conversion from 'int' to 'Tu<int>' for 1st argument}} |
|---|
| 40 | void tuTest2(Tu3 u); // expected-note {{candidate function not viable: no known conversion from 'int' to 'Tu3' for 1st argument}} |
|---|
| 41 | void tu() { |
|---|
| 42 | int x = 2; |
|---|
| 43 | tuTest1(x); // expected-error {{no matching function for call to 'tuTest1'}}
|
|---|
| 44 | tuTest2(x); // expected-error {{no matching function for call to 'tuTest2'}}
|
|---|
| 45 | }
|
|---|
| 46 |
|
|---|
| 47 | [[gnu::__const__]] int f2() { return 12; }
|
|---|
| 48 | [[__gnu__::__const__]] int f3() { return 12; }
|
|---|
| 49 | [[using __gnu__ : __const__]] int f4() { return 12; }
|
|---|
| 50 |
|
|---|
| 51 | static_assert(__has_cpp_attribute(gnu::__const__));
|
|---|
| 52 | static_assert(__has_cpp_attribute(__gnu__::__const__));
|
|---|
| 53 | |
|---|