1// RUN: %clang_cc1 %s -fsyntax-only -Wno-unused-value -Wmicrosoft -verify -fms-extensions
2
3
4struct A
5{
6   int a[];  /* expected-warning {{flexible array member 'a' in otherwise empty struct is a Microsoft extension}} */
7};
8
9struct C {
10   int l;
11   union {
12       int c1[];   /* expected-warning {{flexible array member 'c1' in a union is a Microsoft extension}}  */
13       char c2[];  /* expected-warning {{flexible array member 'c2' in a union is a Microsoft extension}} */
14   };
15};
16
17
18struct D {
19   int l;
20   int D[];
21};
22
23struct __declspec(uuid("00000000-0000-0000-C000-000000000046")) IUnknown {}; /* expected-error {{'uuid' attribute is not supported in C}} */
24
25typedef struct notnested {
26  long bad1;
27  long bad2;
28} NOTNESTED;
29
30
31typedef struct nested1 {
32  long a;
33  struct notnested var1;
34  NOTNESTED var2;
35} NESTED1;
36
37struct nested2 {
38  long b;
39  NESTED1;  // expected-warning {{anonymous structs are a Microsoft extension}}
40};
41
42struct test {
43  int c;
44  struct nested2;   // expected-warning {{anonymous structs are a Microsoft extension}}
45};
46
47void foo()
48{
49  struct test var;
50  var.a;
51  var.b;
52  var.c;
53  var.bad1;   // expected-error {{no member named 'bad1' in 'struct test'}}
54  var.bad2;   // expected-error {{no member named 'bad2' in 'struct test'}}
55}
56
57// Enumeration types with a fixed underlying type.
58const int seventeen = 17;
59typedef int Int;
60
61struct X0 {
62  enum E1 : Int { SomeOtherValue } field;  // expected-warning{{enumeration types with a fixed underlying type are a Microsoft extension}}
63  enum E1 : seventeen;
64};
65
66enum : long long {  // expected-warning{{enumeration types with a fixed underlying type are a Microsoft extension}}
67  SomeValue = 0x100000000
68};
69
70
71void pointer_to_integral_type_conv(char* ptr) {
72   char ch = (char)ptr;
73   short sh = (short)ptr;
74   ch = (char)ptr;
75   sh = (short)ptr;
76
77   // This is valid ISO C.
78   _Bool b = (_Bool)ptr;
79}
80
81
82typedef struct {
83  UNKNOWN u; // expected-error {{unknown type name 'UNKNOWN'}}
84} AA;
85
86typedef struct {
87  AA; // expected-warning {{anonymous structs are a Microsoft extension}}
88} BB;
89
90__declspec(deprecated("This is deprecated")) enum DE1 { one, two } e1; // expected-note {{'e1' has been explicitly marked deprecated here}}
91struct __declspec(deprecated) DS1 { int i; float f; }; // expected-note {{'DS1' has been explicitly marked deprecated here}}
92
93#define MY_TEXT		"This is also deprecated"
94__declspec(deprecated(MY_TEXT)) void Dfunc1( void ) {} // expected-note {{'Dfunc1' has been explicitly marked deprecated here}}
95
96struct __declspec(deprecated(123)) DS2 {};	// expected-error {{'deprecated' attribute requires a string}}
97
98void test( void ) {
99	e1 = one;	// expected-warning {{'e1' is deprecated: This is deprecated}}
100	struct DS1 s = { 0 };	// expected-warning {{'DS1' is deprecated}}
101	Dfunc1();	// expected-warning {{'Dfunc1' is deprecated: This is also deprecated}}
102
103	enum DE1 no;	// no warning because E1 is not deprecated
104}
105
106int __sptr wrong1; // expected-error {{'__sptr' attribute only applies to pointer arguments}}
107// The modifier must follow the asterisk
108int __sptr *wrong_psp; // expected-error {{'__sptr' attribute only applies to pointer arguments}}
109int * __sptr __uptr wrong2; // expected-error {{'__sptr' and '__uptr' attributes are not compatible}}
110int * __sptr __sptr wrong3; // expected-warning {{attribute '__sptr' is already applied}}
111
112// It is illegal to overload based on the type attribute.
113void ptr_func(int * __ptr32 i) {}  // expected-note {{previous definition is here}}
114void ptr_func(int * __ptr64 i) {} // expected-error {{redefinition of 'ptr_func'}}
115
116// It is also illegal to overload based on the pointer type attribute.
117void ptr_func2(int * __sptr __ptr32 i) {}  // expected-note {{previous definition is here}}
118void ptr_func2(int * __uptr __ptr32 i) {} // expected-error {{redefinition of 'ptr_func2'}}
119
120int * __sptr __ptr32 __sptr wrong4; // expected-warning {{attribute '__sptr' is already applied}}
121
122__ptr32 int *wrong5; // expected-error {{'__ptr32' attribute only applies to pointer arguments}}
123
124int *wrong6 __ptr32;  // expected-error {{expected ';' after top level declarator}} expected-warning {{declaration does not declare anything}}
125
126int * __ptr32 __ptr64 wrong7;  // expected-error {{'__ptr32' and '__ptr64' attributes are not compatible}}
127
128int * __ptr32 __ptr32 wrong8;	// expected-warning {{attribute '__ptr32' is already applied}}
129
130int *(__ptr32 __sptr wrong9); // expected-error {{'__sptr' attribute only applies to pointer arguments}} // expected-error {{'__ptr32' attribute only applies to pointer arguments}}
131
132typedef int *T;
133T __ptr32 wrong10; // expected-error {{'__ptr32' attribute only applies to pointer arguments}}
134
135typedef char *my_va_list;
136void __va_start(my_va_list *ap, ...); // expected-note {{passing argument to parameter 'ap' here}}
137void vmyprintf(const char *f, my_va_list ap);
138void myprintf(const char *f, ...) {
139  my_va_list ap;
140  if (1) {
141    __va_start(&ap, f);
142    vmyprintf(f, ap);
143    ap = 0;
144  } else {
145    __va_start(ap, f); // expected-warning {{incompatible pointer types passing 'my_va_list'}}
146  }
147}
148