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