xref: /llvm-project/clang/test/SemaCXX/cxx2a-ms-no-unique-address.cpp (revision 5c24c316496e221e1841418f0f39ccb7200c83c6)
1 // RUN: %clang_cc1 -std=c++2a %s -verify=unsupported -triple x86_64-linux-gnu
2 // RUN: %clang_cc1 -std=c++2a %s -verify -triple x86_64-windows -fms-compatibility
3 
4 [[msvc::no_unique_address]] int a; // expected-error {{only applies to non-bit-field non-static data members}} unsupported-warning {{unknown}}
5 [[msvc::no_unique_address]] void f(); // expected-error {{only applies to non-bit-field non-static data members}} unsupported-warning {{unknown}}
6 struct [[msvc::no_unique_address]] S { // expected-error {{only applies to non-bit-field non-static data members}} unsupported-warning {{unknown}}
7   [[msvc::no_unique_address]] int a; // unsupported-warning {{unknown}}
8   [[msvc::no_unique_address]] void f(); // expected-error {{only applies to non-bit-field non-static data members}} unsupported-warning {{unknown}}
9   [[msvc::no_unique_address]] static int sa;// expected-error {{only applies to non-bit-field non-static data members}} unsupported-warning {{unknown}}
10   [[msvc::no_unique_address]] static void sf(); // expected-error {{only applies to non-bit-field non-static data members}} unsupported-warning {{unknown}}
11   [[msvc::no_unique_address]] int b : 3; // expected-error {{only applies to non-bit-field non-static data members}} unsupported-warning {{unknown}}
12 
13   [[msvc::no_unique_address, msvc::no_unique_address]] int duplicated; // ok
14   // unsupported-warning@-1 2{{unknown}}
15   [[msvc::no_unique_address]] [[msvc::no_unique_address]] int duplicated2; // unsupported-warning 2{{unknown}}
16   [[msvc::no_unique_address()]] int arglist; // expected-error {{cannot have an argument list}} unsupported-warning {{unknown}}
17 
18   int [[msvc::no_unique_address]] c; // expected-error {{cannot be applied to types}} unsupported-error {{cannot be applied to types}}
19 };
20 
21 struct CStructNoUniqueAddress {
22   int one;
23   [[no_unique_address]] int two;
24   // expected-warning@-1 {{unknown attribute 'no_unique_address' ignored}}
25 };
26 
27 struct CStructMSVCNoUniqueAddress {
28   int one;
29   [[msvc::no_unique_address]] int two;
30   // unsupported-warning@-1 {{unknown attribute 'no_unique_address' ignored}}
31 };
32 
33 struct CStructMSVCNoUniqueAddress2 {
34   int one;
35   [[msvc::no_unique_address]] int two;
36   // unsupported-warning@-1 {{unknown attribute 'no_unique_address' ignored}}
37 };
38 
39 static_assert(__has_cpp_attribute(no_unique_address) == 0);
40 // unsupported-error@-1 {{static assertion failed due to requirement '201803L == 0'}}
41 static_assert(!__is_layout_compatible(CStructNoUniqueAddress, CStructMSVCNoUniqueAddress), "");
42 static_assert(__is_layout_compatible(CStructMSVCNoUniqueAddress, CStructMSVCNoUniqueAddress), "");
43 static_assert(!__is_layout_compatible(CStructMSVCNoUniqueAddress, CStructMSVCNoUniqueAddress2), "");
44 // unsupported-error@-1 {{static assertion failed due to requirement '!__is_layout_compatible(CStructMSVCNoUniqueAddress, CStructMSVCNoUniqueAddress2)':}}
45