clang/test/SemaCXX/cxx2a-ms-no-unique-address.cpp

   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)':}}