clang/test/SemaCXX/ms-uuid.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -fms-extensions %s -Wno-deprecated-declarations
   2 // RUN: %clang_cc1 -fsyntax-only -std=c++17 -verify -fms-extensions %s -Wno-deprecated-declarations
   3
   4 typedef struct _GUID {
   5   __UINT32_TYPE__ Data1;
   6   __UINT16_TYPE__ Data2;
   7   __UINT16_TYPE__ Data3;
   8   __UINT8_TYPE__ Data4[8];
   9 } GUID;
  10
  11 namespace {
  12 // cl.exe's behavior with merging uuid attributes is a bit erratic:
  13 // * In []-style attributes, a single [] list must not list a duplicate uuid
  14 //   (even if it's the same uuid), and only a single declaration of a class
  15 //   must have a uuid else the compiler errors out (even if two declarations of
  16 //   a class have the same uuid).
  17 // * For __declspec(uuid(...)), it's ok if several declarations of a class have
  18 //   an uuid, as long as it's the same uuid each time.  If uuids on declarations
  19 //   don't match, the compiler errors out.
  20 // * If there are several __declspec(uuid(...))s on one declaration, the
  21 //   compiler only warns about this and uses the last uuid.  It even warns if
  22 //   the uuids are the same.
  23
  24 // clang-cl implements the following simpler (but largely compatible) behavior
  25 // instead:
  26 // * [] and __declspec uuids have the same behavior.
  27 // * If there are several uuids on a class (no matter if on the same decl or
  28 //   on several decls), it is an error if they don't match.
  29 // * Having several uuids that match is ok.
  30
  31 // Both cl and clang-cl accept this:
  32 class __declspec(uuid("000000A0-0000-0000-C000-000000000049")) C1;
  33 class __declspec(uuid("000000a0-0000-0000-c000-000000000049")) C1;
  34 class __declspec(uuid("{000000a0-0000-0000-C000-000000000049}")) C1;
  35 class __declspec(uuid("000000A0-0000-0000-C000-000000000049")) C1 {};
  36
  37 // Both cl and clang-cl error out on this:
  38 // expected-note@+1 2{{previous uuid specified here}}
  39 class __declspec(uuid("000000A0-0000-0000-C000-000000000049")) C2;
  40 // expected-error@+1 {{uuid does not match previous declaration}}
  41 class __declspec(uuid("110000A0-0000-0000-C000-000000000049")) C2;
  42 // expected-error@+1 {{uuid does not match previous declaration}}
  43 class __declspec(uuid("220000A0-0000-0000-C000-000000000049")) C2 {};
  44
  45 // expected-note@+1 {{previous uuid specified here}}
  46 class __declspec(uuid("000000A0-0000-0000-C000-000000000049")) C2_2;
  47 class C2_2;
  48 // expected-error@+1 {{uuid does not match previous declaration}}
  49 class __declspec(uuid("110000A0-0000-0000-C000-000000000049")) C2_2;
  50
  51 // clang-cl accepts this, but cl errors out:
  52 [uuid("000000A0-0000-0000-C000-000000000049")] class C3;
  53 [uuid("000000A0-0000-0000-C000-000000000049")] class C3;
  54 [uuid("000000A0-0000-0000-C000-000000000049")] class C3 {};
  55
  56 // Both cl and clang-cl error out on this (but for different reasons):
  57 // expected-note@+1 2{{previous uuid specified here}}
  58 [uuid("000000A0-0000-0000-C000-000000000049")] class C4;
  59 // expected-error@+1 {{uuid does not match previous declaration}}
  60 [uuid("110000A0-0000-0000-C000-000000000049")] class C4;
  61 // expected-error@+1 {{uuid does not match previous declaration}}
  62 [uuid("220000A0-0000-0000-C000-000000000049")] class C4 {};
  63
  64 // Both cl and clang-cl error out on this:
  65 // expected-error@+1 {{uuid does not match previous declaration}}
  66 class __declspec(uuid("000000A0-0000-0000-C000-000000000049"))
  67 // expected-note@+1 {{previous uuid specified here}}
  68       __declspec(uuid("110000A0-0000-0000-C000-000000000049")) C5;
  69
  70 // expected-error@+1 {{uuid does not match previous declaration}}
  71 [uuid("000000A0-0000-0000-C000-000000000049"),
  72 // expected-note@+1 {{previous uuid specified here}}
  73  uuid("110000A0-0000-0000-C000-000000000049")] class C6;
  74
  75 // cl doesn't diagnose having one uuid each as []-style attributes and as
  76 // __declspec, even if the uuids differ.  clang-cl errors if they differ.
  77 [uuid("000000A0-0000-0000-C000-000000000049")]
  78 class __declspec(uuid("000000A0-0000-0000-C000-000000000049")) C7;
  79
  80 // expected-note@+1 {{previous uuid specified here}}
  81 [uuid("000000A0-0000-0000-C000-000000000049")]
  82 // expected-error@+1 {{uuid does not match previous declaration}}
  83 class __declspec(uuid("110000A0-0000-0000-C000-000000000049")) C8;
  84
  85
  86 // cl warns on this, but clang-cl is fine with it (which is consistent with
  87 // e.g. specifying __multiple_inheritance several times, which cl accepts
  88 // without warning too).
  89 class __declspec(uuid("000000A0-0000-0000-C000-000000000049"))
  90       __declspec(uuid("000000A0-0000-0000-C000-000000000049")) C9;
  91
  92 // cl errors out on this, but clang-cl is fine with it (to be consistent with
  93 // the previous case).
  94 [uuid("000000A0-0000-0000-C000-000000000049"),
  95  uuid("000000A0-0000-0000-C000-000000000049")] class C10;
  96
  97 template <const GUID* p>
  98 void F1() {
  99   // Regression test for PR24986. The given GUID should just work as a pointer.
 100   const GUID* q = p;
 101 }
 102
 103 void F2() {
 104   // The UUID should work for a non-type template parameter.
 105   F1<&__uuidof(C1)>();
 106 }
 107
 108 }
 109
 110 // Test class/struct redeclaration where the subsequent
 111 // declaration has a uuid attribute
 112 struct X{};
 113
 114 struct __declspec(uuid("00000000-0000-0000-0000-000000000000")) X;
 115
 116 namespace ConstantEvaluation {
 117   class __declspec(uuid("1babb1ed-feed-c01d-1ced-decafc0ffee5")) Request;
 118   constexpr GUID a = __uuidof(Request);
 119   static_assert(a.Data1 == 0x1babb1ed, "");
 120   static_assert(__uuidof(Request).Data1 == 0x1babb1ed, "");
 121   static_assert(a.Data2 == 0xfeed, "");
 122   static_assert(__uuidof(Request).Data2 == 0xfeed, "");
 123   static_assert(a.Data3 == 0xc01d, "");
 124   static_assert(__uuidof(Request).Data3 == 0xc01d, "");
 125   static_assert(a.Data4[0] == 0x1c, "");
 126   static_assert(__uuidof(Request).Data4[0] == 0x1c, "");
 127   static_assert(a.Data4[1] == 0xed, "");
 128   static_assert(__uuidof(Request).Data4[1] == 0xed, "");
 129   static_assert(a.Data4[2] == 0xde, "");
 130   static_assert(__uuidof(Request).Data4[2] == 0xde, "");
 131   static_assert(a.Data4[7] == 0xe5, "");
 132   static_assert(__uuidof(Request).Data4[7] == 0xe5, "");
 133   constexpr int k = __uuidof(Request).Data4[8]; // expected-error {{constant expression}} expected-note {{past-the-end}}
 134 }