222 lines · c
1// RUN: %clang_cc1 -triple i686-windows %s -fsyntax-only -Wno-unused-value -Wno-pointer-to-int-cast -Wmicrosoft -verify -fms-extensions2 3struct A4{5 int a[]; /* expected-warning {{flexible array member 'a' in otherwise empty struct is a Microsoft extension}} */6};7 8struct PR284079{10 int : 1;11 int a[]; /* expected-warning {{flexible array member 'a' in otherwise empty struct is a Microsoft extension}} */12};13 14struct 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};27 28struct __declspec(uuid("00000000-0000-0000-C000-000000000046")) IUnknown {}; /* expected-error {{'uuid' attribute is not supported in C}} */29 30[uuid("00000000-0000-0000-C000-000000000046")] struct IUnknown2 {}; /* expected-error {{'uuid' attribute is not supported in C}} */31 32typedef 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 49struct nested2 PR20573 = { .a = 3 };50 51struct 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 65struct test {66 int c;67 struct nested2; // expected-warning {{anonymous structs are a Microsoft extension}}68 NESTED6; // expected-warning {{anonymous unions are a Microsoft extension}}69};70 71void foo(void)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 81// 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 90enum : long long { // expected-warning{{enumeration types with a fixed underlying type are a Microsoft extension}}91 SomeValue = 0x10000000092};93 94void pointer_to_integral_type_conv(char* ptr) {95 char ch = (char)ptr;96 short sh = (short)ptr;97 ch = (char)ptr;98 sh = (short)ptr;99 100 // This is valid ISO C.101 _Bool b = (_Bool)ptr;102}103 104typedef 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;111 112struct 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 120__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}}122 123#define MY_TEXT "This is also deprecated"124__declspec(deprecated(MY_TEXT)) void Dfunc1( void ) {} // expected-note {{'Dfunc1' has been explicitly marked deprecated here}}125 126struct __declspec(deprecated(123)) DS2 {}; // expected-error {{expected string literal as argument of 'deprecated' attribute}}127 128void 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 deprecated134}135 136int __sptr wrong1; // expected-error {{'__sptr' attribute only applies to pointer arguments}}137// The modifier must follow the asterisk138int __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 150// Check for warning when return types have the type attribute.151void *__ptr32 ptr_func3(void) { return 0; } // expected-note {{previous definition is here}}152void *__ptr64 ptr_func3(void) { return 0; } // expected-error {{redefinition of 'ptr_func3'}}153 154// Test that __ptr32/__ptr64 can be passed as arguments with other address155// spaces.156void ptr_func4(int *i);157void ptr_func5(int *__ptr32 i);158void test_ptr_arguments(void) {159 int *__ptr64 i64;160 ptr_func4(i64);161 ptr_func5(i64);162}163 164int * __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 176int *(__ptr32 wrong10); // expected-error {{'__ptr32' attribute only applies to pointer arguments}}177 178int *(__ptr64 wrong11); // expected-error {{'__ptr64' attribute only applies to pointer arguments}}179 180int *(__ptr32 __ptr64 wrong12); // expected-error {{'__ptr32' attribute only applies to pointer arguments}} // expected-error {{'__ptr64' attribute only applies to pointer arguments}}181 182typedef int *T;183T __ptr32 ok1;184T __ptr64 ok2;185T __ptr32 __ptr64 wrong13; // expected-error {{'__ptr32' and '__ptr64' attributes are not compatible}}186 187typedef int *__ptr32 T1;188T1 ok3;189T1 __ptr32 wrong14; // expected-warning {{attribute '__ptr32' is already applied}}190T1 __ptr64 wrong15; // expected-error {{'__ptr32' and '__ptr64' attributes are not compatible}}191 192typedef int *__ptr64 T2;193T2 ok4;194T2 __ptr64 wrong16; // expected-warning {{attribute '__ptr64' is already applied}}195T2 __ptr32 wrong17; // expected-error {{'__ptr32' and '__ptr64' attributes are not compatible}}196 197typedef int *__ptr32 __ptr64 wrong18; // expected-error {{'__ptr32' and '__ptr64' attributes are not compatible}}198 199typedef char *my_va_list;200void __va_start(my_va_list *ap, ...); // expected-note {{passing argument to parameter 'ap' here}}201void vmyprintf(const char *f, my_va_list ap);202void myprintf(const char *f, ...) {203 my_va_list ap;204 if (1) {205 __va_start(&ap, f);206 vmyprintf(f, ap);207 ap = 0;208 } else {209 __va_start(ap, f); // expected-error {{incompatible pointer types passing 'my_va_list'}}210 }211}212 213// __unaligned handling214void test_unaligned(void) {215 __unaligned int *p1 = 0;216 int *p2 = p1; // expected-warning {{initializing 'int *' with an expression of type '__unaligned int *' discards qualifiers}}217 __unaligned int *p3 = p2;218}219 220void test_unaligned2(int x[__unaligned 4]) {}221 222