blob: 166ba7f6c0a2da7c7b96d18f0d91e72b17a67782 [file] [log] [blame]
Arthur Eubanks51d7f642020-03-04 13:18:59 -08001// RUN: %clang_cc1 -triple i686-windows %s -fsyntax-only -Wno-unused-value -Wno-pointer-to-int-cast -Wmicrosoft -verify -fms-extensions
Chandler Carrutha64aedb2010-10-06 06:50:05 +00002
3struct A
4{
5 int a[]; /* expected-warning {{flexible array member 'a' in otherwise empty struct is a Microsoft extension}} */
6};
7
David Majnemer3b568aa2016-07-04 00:24:59 +00008struct PR28407
9{
10 int : 1;
11 int a[]; /* expected-warning {{flexible array member 'a' in otherwise empty struct is a Microsoft extension}} */
12};
13
Chandler Carrutha64aedb2010-10-06 06:50:05 +000014struct C {
15 int l;
16 union {
17 int c1[]; /* expected-warning {{flexible array member 'c1' in a union is a Microsoft extension}} */
18 char c2[]; /* expected-warning {{flexible array member 'c2' in a union is a Microsoft extension}} */
19 };
20};
21
22
23struct D {
24 int l;
25 int D[];
26};
Francois Picheta3108062010-10-18 15:01:13 +000027
Aaron Ballmandf8fe4c2013-11-24 21:35:16 +000028struct __declspec(uuid("00000000-0000-0000-C000-000000000046")) IUnknown {}; /* expected-error {{'uuid' attribute is not supported in C}} */
Francois Pichet0c71f6c2010-11-23 06:07:27 +000029
Nico Weber05e1dad2016-09-03 03:25:22 +000030[uuid("00000000-0000-0000-C000-000000000046")] struct IUnknown2 {}; /* expected-error {{'uuid' attribute is not supported in C}} */
31
Francois Pichet0c71f6c2010-11-23 06:07:27 +000032typedef struct notnested {
33 long bad1;
34 long bad2;
35} NOTNESTED;
36
37
38typedef struct nested1 {
39 long a;
40 struct notnested var1;
41 NOTNESTED var2;
42} NESTED1;
43
44struct nested2 {
45 long b;
46 NESTED1; // expected-warning {{anonymous structs are a Microsoft extension}}
47};
48
David Majnemer36ef8982014-08-11 18:33:59 +000049struct nested2 PR20573 = { .a = 3 };
50
David Majnemer8f0ed912014-08-11 07:29:54 +000051struct nested3 {
52 long d;
53 struct nested4 { // expected-warning {{anonymous structs are a Microsoft extension}}
54 long e;
55 };
56 union nested5 { // expected-warning {{anonymous unions are a Microsoft extension}}
57 long f;
58 };
59};
60
61typedef union nested6 {
62 long f;
63} NESTED6;
64
Francois Pichet0c71f6c2010-11-23 06:07:27 +000065struct test {
66 int c;
67 struct nested2; // expected-warning {{anonymous structs are a Microsoft extension}}
David Majnemer8f0ed912014-08-11 07:29:54 +000068 NESTED6; // expected-warning {{anonymous unions are a Microsoft extension}}
Francois Pichet0c71f6c2010-11-23 06:07:27 +000069};
70
71void foo()
72{
73 struct test var;
74 var.a;
75 var.b;
76 var.c;
77 var.bad1; // expected-error {{no member named 'bad1' in 'struct test'}}
78 var.bad2; // expected-error {{no member named 'bad2' in 'struct test'}}
79}
80
Douglas Gregora1aec292011-02-22 20:32:04 +000081// Enumeration types with a fixed underlying type.
82const int seventeen = 17;
83typedef int Int;
84
85struct X0 {
86 enum E1 : Int { SomeOtherValue } field; // expected-warning{{enumeration types with a fixed underlying type are a Microsoft extension}}
87 enum E1 : seventeen;
88};
89
Douglas Gregor996a735b2011-02-22 21:42:31 +000090enum : long long { // expected-warning{{enumeration types with a fixed underlying type are a Microsoft extension}}
Douglas Gregora1aec292011-02-22 20:32:04 +000091 SomeValue = 0x100000000
92};
Francois Pichet6f7289d2011-05-11 22:28:19 +000093
Francois Pichet6f7289d2011-05-11 22:28:19 +000094void pointer_to_integral_type_conv(char* ptr) {
Arthur Eubanks51d7f642020-03-04 13:18:59 -080095 char ch = (char)ptr;
96 short sh = (short)ptr;
97 ch = (char)ptr;
98 sh = (short)ptr;
Hans Wennborg15439bc2013-06-06 09:16:36 +000099
Arthur Eubanks51d7f642020-03-04 13:18:59 -0800100 // This is valid ISO C.
101 _Bool b = (_Bool)ptr;
Nico Weberf8bb3de2012-02-01 00:41:00 +0000102}
103
Nico Weberf8bb3de2012-02-01 00:41:00 +0000104typedef struct {
105 UNKNOWN u; // expected-error {{unknown type name 'UNKNOWN'}}
106} AA;
107
108typedef struct {
109 AA; // expected-warning {{anonymous structs are a Microsoft extension}}
110} BB;
Aaron Ballman96e7c092012-02-23 01:19:31 +0000111
David Majnemerd8e366b2014-09-18 00:42:05 +0000112struct anon_fault {
113 struct undefined; // expected-warning {{anonymous structs are a Microsoft extension}}
114 // expected-error@-1 {{field has incomplete type 'struct undefined'}}
115 // expected-note@-2 {{forward declaration of 'struct undefined'}}
116};
117
118const int anon_falt_size = sizeof(struct anon_fault);
119
Ted Kremenekb79ee572013-12-18 23:30:06 +0000120__declspec(deprecated("This is deprecated")) enum DE1 { one, two } e1; // expected-note {{'e1' has been explicitly marked deprecated here}}
121struct __declspec(deprecated) DS1 { int i; float f; }; // expected-note {{'DS1' has been explicitly marked deprecated here}}
Aaron Ballman96e7c092012-02-23 01:19:31 +0000122
123#define MY_TEXT "This is also deprecated"
Ted Kremenekb79ee572013-12-18 23:30:06 +0000124__declspec(deprecated(MY_TEXT)) void Dfunc1( void ) {} // expected-note {{'Dfunc1' has been explicitly marked deprecated here}}
Aaron Ballman96e7c092012-02-23 01:19:31 +0000125
Aaron Ballman3bf758c2013-07-30 01:31:03 +0000126struct __declspec(deprecated(123)) DS2 {}; // expected-error {{'deprecated' attribute requires a string}}
Aaron Ballman478faed42012-06-19 22:09:27 +0000127
Aaron Ballman96e7c092012-02-23 01:19:31 +0000128void test( void ) {
129 e1 = one; // expected-warning {{'e1' is deprecated: This is deprecated}}
130 struct DS1 s = { 0 }; // expected-warning {{'DS1' is deprecated}}
131 Dfunc1(); // expected-warning {{'Dfunc1' is deprecated: This is also deprecated}}
132
133 enum DE1 no; // no warning because E1 is not deprecated
134}
Aaron Ballman317a77f2013-05-22 23:25:32 +0000135
136int __sptr wrong1; // expected-error {{'__sptr' attribute only applies to pointer arguments}}
137// The modifier must follow the asterisk
138int __sptr *wrong_psp; // expected-error {{'__sptr' attribute only applies to pointer arguments}}
139int * __sptr __uptr wrong2; // expected-error {{'__sptr' and '__uptr' attributes are not compatible}}
140int * __sptr __sptr wrong3; // expected-warning {{attribute '__sptr' is already applied}}
141
142// It is illegal to overload based on the type attribute.
143void ptr_func(int * __ptr32 i) {} // expected-note {{previous definition is here}}
144void ptr_func(int * __ptr64 i) {} // expected-error {{redefinition of 'ptr_func'}}
145
146// It is also illegal to overload based on the pointer type attribute.
147void ptr_func2(int * __sptr __ptr32 i) {} // expected-note {{previous definition is here}}
148void ptr_func2(int * __uptr __ptr32 i) {} // expected-error {{redefinition of 'ptr_func2'}}
149
Amy Huanga85f5ef2019-10-24 16:34:25 -0700150// Check for warning when return types have the type attribute.
151void *__ptr32 ptr_func3() { return 0; } // expected-note {{previous definition is here}}
152void *__ptr64 ptr_func3() { return 0; } // expected-error {{redefinition of 'ptr_func3'}}
153
154// Test that __ptr32/__ptr64 can be passed as arguments with other address
155// spaces.
156void ptr_func4(int *i);
157void ptr_func5(int *__ptr32 i);
158void test_ptr_arguments() {
159 int *__ptr64 i64;
160 ptr_func4(i64);
161 ptr_func5(i64);
162}
163
Aaron Ballman317a77f2013-05-22 23:25:32 +0000164int * __sptr __ptr32 __sptr wrong4; // expected-warning {{attribute '__sptr' is already applied}}
165
166__ptr32 int *wrong5; // expected-error {{'__ptr32' attribute only applies to pointer arguments}}
167
168int *wrong6 __ptr32; // expected-error {{expected ';' after top level declarator}} expected-warning {{declaration does not declare anything}}
169
170int * __ptr32 __ptr64 wrong7; // expected-error {{'__ptr32' and '__ptr64' attributes are not compatible}}
171
172int * __ptr32 __ptr32 wrong8; // expected-warning {{attribute '__ptr32' is already applied}}
173
174int *(__ptr32 __sptr wrong9); // expected-error {{'__sptr' attribute only applies to pointer arguments}} // expected-error {{'__ptr32' attribute only applies to pointer arguments}}
175
176typedef int *T;
177T __ptr32 wrong10; // expected-error {{'__ptr32' attribute only applies to pointer arguments}}
Reid Kleckner597e81d2014-03-26 15:38:33 +0000178
179typedef char *my_va_list;
Reid Kleckner55e3cec62014-03-26 22:52:23 +0000180void __va_start(my_va_list *ap, ...); // expected-note {{passing argument to parameter 'ap' here}}
Reid Kleckner597e81d2014-03-26 15:38:33 +0000181void vmyprintf(const char *f, my_va_list ap);
182void myprintf(const char *f, ...) {
183 my_va_list ap;
184 if (1) {
185 __va_start(&ap, f);
186 vmyprintf(f, ap);
187 ap = 0;
188 } else {
189 __va_start(ap, f); // expected-warning {{incompatible pointer types passing 'my_va_list'}}
190 }
191}
Andrey Bokhanko45d41322016-05-11 18:38:21 +0000192
193// __unaligned handling
194void test_unaligned() {
195 __unaligned int *p1 = 0;
196 int *p2 = p1; // expected-warning {{initializing 'int *' with an expression of type '__unaligned int *' discards qualifiers}}
197 __unaligned int *p3 = p2;
198}
199
Andrey Bokhanko67a41862016-05-26 10:06:01 +0000200void test_unaligned2(int x[__unaligned 4]) {}
201