18e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet// RUN: %clang_cc1 %s -fsyntax-only -Wno-unused-value -Wmicrosoft -verify -fms-extensions 2b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth 3b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth 4b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruthstruct A 5b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth{ 6b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth int a[]; /* expected-warning {{flexible array member 'a' in otherwise empty struct is a Microsoft extension}} */ 7b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth}; 8b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth 9b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruthstruct C { 10b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth int l; 11b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth union { 12b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth int c1[]; /* expected-warning {{flexible array member 'c1' in a union is a Microsoft extension}} */ 13b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth char c2[]; /* expected-warning {{flexible array member 'c2' in a union is a Microsoft extension}} */ 14b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth }; 15b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth}; 16b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth 17b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth 18b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruthstruct D { 19b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth int l; 20b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth int D[]; 21b6448943ba1fe01be7cd658437dacae9d2fee8a8Chandler Carruth}; 22842e7a22c6a0fbf0ccdb4bb9308d92ca9e9621f6Francois Pichet 23651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct __declspec(uuid("00000000-0000-0000-C000-000000000046")) IUnknown {}; /* expected-error {{'uuid' attribute is not supported in C}} */ 248e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet 258e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichettypedef struct notnested { 268e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet long bad1; 278e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet long bad2; 288e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet} NOTNESTED; 298e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet 308e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet 318e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichettypedef struct nested1 { 328e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet long a; 338e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet struct notnested var1; 348e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet NOTNESTED var2; 358e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet} NESTED1; 368e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet 378e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichetstruct nested2 { 388e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet long b; 398e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet NESTED1; // expected-warning {{anonymous structs are a Microsoft extension}} 408e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet}; 418e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet 428e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichetstruct test { 438e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet int c; 448e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet struct nested2; // expected-warning {{anonymous structs are a Microsoft extension}} 458e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet}; 468e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet 478e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichetvoid foo() 488e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet{ 498e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet struct test var; 508e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet var.a; 518e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet var.b; 528e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet var.c; 538e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet var.bad1; // expected-error {{no member named 'bad1' in 'struct test'}} 548e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet var.bad2; // expected-error {{no member named 'bad2' in 'struct test'}} 558e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet} 568e161ed8e63bd9d3783a987d837b72b2b96c4512Francois Pichet 5786f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregor// Enumeration types with a fixed underlying type. 5886f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregorconst int seventeen = 17; 5986f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregortypedef int Int; 6086f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregor 6186f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregorstruct X0 { 6286f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregor enum E1 : Int { SomeOtherValue } field; // expected-warning{{enumeration types with a fixed underlying type are a Microsoft extension}} 6386f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregor enum E1 : seventeen; 6486f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregor}; 6586f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregor 661756ce44b0e03d6a6fd2d42add6e3227d4d04d34Douglas Gregorenum : long long { // expected-warning{{enumeration types with a fixed underlying type are a Microsoft extension}} 6786f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregor SomeValue = 0x100000000 6886f208c1a112c3e8984e63daec15ccf0a1a84329Douglas Gregor}; 6983e0995105222b078a57e1e20ef71fbfd0f67d3dFrancois Pichet 7083e0995105222b078a57e1e20ef71fbfd0f67d3dFrancois Pichet 7183e0995105222b078a57e1e20ef71fbfd0f67d3dFrancois Pichetvoid pointer_to_integral_type_conv(char* ptr) { 7283e0995105222b078a57e1e20ef71fbfd0f67d3dFrancois Pichet char ch = (char)ptr; 7383e0995105222b078a57e1e20ef71fbfd0f67d3dFrancois Pichet short sh = (short)ptr; 7483e0995105222b078a57e1e20ef71fbfd0f67d3dFrancois Pichet ch = (char)ptr; 7583e0995105222b078a57e1e20ef71fbfd0f67d3dFrancois Pichet sh = (short)ptr; 76649c6c50fd3dd13577071b26fec4495f7538d923Hans Wennborg 77649c6c50fd3dd13577071b26fec4495f7538d923Hans Wennborg // This is valid ISO C. 78649c6c50fd3dd13577071b26fec4495f7538d923Hans Wennborg _Bool b = (_Bool)ptr; 79ee625afea71ef5a9c1e386564919b86915d96b0dNico Weber} 80ee625afea71ef5a9c1e386564919b86915d96b0dNico Weber 81ee625afea71ef5a9c1e386564919b86915d96b0dNico Weber 82ee625afea71ef5a9c1e386564919b86915d96b0dNico Webertypedef struct { 83ee625afea71ef5a9c1e386564919b86915d96b0dNico Weber UNKNOWN u; // expected-error {{unknown type name 'UNKNOWN'}} 84ee625afea71ef5a9c1e386564919b86915d96b0dNico Weber} AA; 85ee625afea71ef5a9c1e386564919b86915d96b0dNico Weber 86ee625afea71ef5a9c1e386564919b86915d96b0dNico Webertypedef struct { 87ee625afea71ef5a9c1e386564919b86915d96b0dNico Weber AA; // expected-warning {{anonymous structs are a Microsoft extension}} 88ee625afea71ef5a9c1e386564919b86915d96b0dNico Weber} BB; 8947611c88fb0446673c6e590ab461934054be290aAaron Ballman 90651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines__declspec(deprecated("This is deprecated")) enum DE1 { one, two } e1; // expected-note {{'e1' has been explicitly marked deprecated here}} 91651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct __declspec(deprecated) DS1 { int i; float f; }; // expected-note {{'DS1' has been explicitly marked deprecated here}} 9247611c88fb0446673c6e590ab461934054be290aAaron Ballman 9347611c88fb0446673c6e590ab461934054be290aAaron Ballman#define MY_TEXT "This is also deprecated" 94651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines__declspec(deprecated(MY_TEXT)) void Dfunc1( void ) {} // expected-note {{'Dfunc1' has been explicitly marked deprecated here}} 9547611c88fb0446673c6e590ab461934054be290aAaron Ballman 963cd6feb87a62fb52c31cbc83655d76ace020513fAaron Ballmanstruct __declspec(deprecated(123)) DS2 {}; // expected-error {{'deprecated' attribute requires a string}} 97fc685ace387734599c475426b1a8efdb491054b8Aaron Ballman 9847611c88fb0446673c6e590ab461934054be290aAaron Ballmanvoid test( void ) { 9947611c88fb0446673c6e590ab461934054be290aAaron Ballman e1 = one; // expected-warning {{'e1' is deprecated: This is deprecated}} 10047611c88fb0446673c6e590ab461934054be290aAaron Ballman struct DS1 s = { 0 }; // expected-warning {{'DS1' is deprecated}} 10147611c88fb0446673c6e590ab461934054be290aAaron Ballman Dfunc1(); // expected-warning {{'Dfunc1' is deprecated: This is also deprecated}} 10247611c88fb0446673c6e590ab461934054be290aAaron Ballman 10347611c88fb0446673c6e590ab461934054be290aAaron Ballman enum DE1 no; // no warning because E1 is not deprecated 10447611c88fb0446673c6e590ab461934054be290aAaron Ballman} 105aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 106aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint __sptr wrong1; // expected-error {{'__sptr' attribute only applies to pointer arguments}} 107aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman// The modifier must follow the asterisk 108aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint __sptr *wrong_psp; // expected-error {{'__sptr' attribute only applies to pointer arguments}} 109aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint * __sptr __uptr wrong2; // expected-error {{'__sptr' and '__uptr' attributes are not compatible}} 110aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint * __sptr __sptr wrong3; // expected-warning {{attribute '__sptr' is already applied}} 111aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 112aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman// It is illegal to overload based on the type attribute. 113aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanvoid ptr_func(int * __ptr32 i) {} // expected-note {{previous definition is here}} 114aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanvoid ptr_func(int * __ptr64 i) {} // expected-error {{redefinition of 'ptr_func'}} 115aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 116aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman// It is also illegal to overload based on the pointer type attribute. 117aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanvoid ptr_func2(int * __sptr __ptr32 i) {} // expected-note {{previous definition is here}} 118aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanvoid ptr_func2(int * __uptr __ptr32 i) {} // expected-error {{redefinition of 'ptr_func2'}} 119aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 120aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint * __sptr __ptr32 __sptr wrong4; // expected-warning {{attribute '__sptr' is already applied}} 121aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 122aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman__ptr32 int *wrong5; // expected-error {{'__ptr32' attribute only applies to pointer arguments}} 123aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 124aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint *wrong6 __ptr32; // expected-error {{expected ';' after top level declarator}} expected-warning {{declaration does not declare anything}} 125aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 126aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint * __ptr32 __ptr64 wrong7; // expected-error {{'__ptr32' and '__ptr64' attributes are not compatible}} 127aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 128aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint * __ptr32 __ptr32 wrong8; // expected-warning {{attribute '__ptr32' is already applied}} 129aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 130aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmanint *(__ptr32 __sptr wrong9); // expected-error {{'__sptr' attribute only applies to pointer arguments}} // expected-error {{'__ptr32' attribute only applies to pointer arguments}} 131aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballman 132aa9df09729fb8aee3e645549e95fcb413306a7aaAaron Ballmantypedef int *T; 133aa9df09729fb8aee3e645549e95fcb413306a7aaAaron BallmanT __ptr32 wrong10; // expected-error {{'__ptr32' attribute only applies to pointer arguments}} 134651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 135651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinestypedef char *my_va_list; 136651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid __va_start(my_va_list *ap, ...); // expected-note {{passing argument to parameter 'ap' here}} 137651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid vmyprintf(const char *f, my_va_list ap); 138651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid myprintf(const char *f, ...) { 139651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines my_va_list ap; 140651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (1) { 141651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines __va_start(&ap, f); 142651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines vmyprintf(f, ap); 143651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines ap = 0; 144651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } else { 145651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines __va_start(ap, f); // expected-warning {{incompatible pointer types passing 'my_va_list'}} 146651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 147651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 148