Home | History | Annotate | Download | only in Sema
      1 // RUN: %clang_cc1 -fsyntax-only -verify %s -DNONE -Wno-gnu
      2 // RUN: %clang_cc1 -fsyntax-only -verify %s -DALL -Wgnu
      3 // RUN: %clang_cc1 -fsyntax-only -verify %s -DALL -Wno-gnu \
      4 // RUN:   -Wgnu-alignof-expression -Wgnu-case-range -Wgnu-complex-integer -Wgnu-conditional-omitted-operand \
      5 // RUN:   -Wgnu-empty-initializer -Wgnu-label-as-value -Wgnu-statement-expression \
      6 // RUN:   -Wgnu-compound-literal-initializer -Wgnu-flexible-array-initializer \
      7 // RUN:   -Wgnu-redeclared-enum  -Wgnu-folding-constant -Wgnu-empty-struct \
      8 // RUN:   -Wgnu-union-cast -Wgnu-variable-sized-type-not-at-end
      9 // RUN: %clang_cc1 -fsyntax-only -verify %s -DNONE -Wgnu \
     10 // RUN:   -Wno-gnu-alignof-expression -Wno-gnu-case-range -Wno-gnu-complex-integer -Wno-gnu-conditional-omitted-operand \
     11 // RUN:   -Wno-gnu-empty-initializer -Wno-gnu-label-as-value -Wno-gnu-statement-expression \
     12 // RUN:   -Wno-gnu-compound-literal-initializer -Wno-gnu-flexible-array-initializer \
     13 // RUN:   -Wno-gnu-redeclared-enum -Wno-gnu-folding-constant -Wno-gnu-empty-struct \
     14 // RUN:   -Wno-gnu-union-cast -Wno-gnu-variable-sized-type-not-at-end
     15 // Additional disabled tests:
     16 // %clang_cc1 -fsyntax-only -verify %s -DALIGNOF -Wno-gnu -Wgnu-alignof-expression
     17 // %clang_cc1 -fsyntax-only -verify %s -DCASERANGE -Wno-gnu -Wgnu-case-range
     18 // %clang_cc1 -fsyntax-only -verify %s -DCOMPLEXINT -Wno-gnu -Wgnu-complex-integer
     19 // %clang_cc1 -fsyntax-only -verify %s -DOMITTEDOPERAND -Wno-gnu -Wgnu-conditional-omitted-operand
     20 // %clang_cc1 -fsyntax-only -verify %s -DEMPTYINIT -Wno-gnu -Wgnu-empty-initializer
     21 // %clang_cc1 -fsyntax-only -verify %s -DLABELVALUE -Wno-gnu -Wgnu-label-as-value
     22 // %clang_cc1 -fsyntax-only -verify %s -DSTATEMENTEXP -Wno-gnu -Wgnu-statement-expression
     23 // %clang_cc1 -fsyntax-only -verify %s -DCOMPOUNDLITERALINITIALIZER -Wno-gnu -Wgnu-compound-literal-initializer
     24 // %clang_cc1 -fsyntax-only -verify %s -DFLEXIBLEARRAYINITIALIZER -Wno-gnu -Wgnu-flexible-array-initializer
     25 // %clang_cc1 -fsyntax-only -verify %s -DREDECLAREDENUM -Wno-gnu -Wgnu-redeclared-enum
     26 // %clang_cc1 -fsyntax-only -verify %s -DUNIONCAST -Wno-gnu -Wgnu-union-cast
     27 // %clang_cc1 -fsyntax-only -verify %s -DVARIABLESIZEDTYPENOTATEND -Wno-gnu -Wgnu-variable-sized-type-not-at-end
     28 // %clang_cc1 -fsyntax-only -verify %s -DFOLDINGCONSTANT -Wno-gnu -Wgnu-folding-constant
     29 // %clang_cc1 -fsyntax-only -verify %s -DEMPTYSTRUCT -Wno-gnu -Wgnu-empty-struct
     30 
     31 #if NONE
     32 // expected-no-diagnostics
     33 #endif
     34 
     35 
     36 #if ALL || ALIGNOF
     37 // expected-warning@+4 {{'_Alignof' applied to an expression is a GNU extension}}
     38 #endif
     39 
     40 char align;
     41 _Static_assert(_Alignof(align) > 0, "align's alignment is wrong");
     42 
     43 
     44 #if ALL || CASERANGE
     45 // expected-warning@+5 {{use of GNU case range extension}}
     46 #endif
     47 
     48 void caserange(int x) {
     49   switch (x) {
     50   case 42 ... 44: ;
     51   }
     52 }
     53 
     54 
     55 #if ALL || COMPLEXINT
     56 // expected-warning@+3 {{complex integer types are a GNU extension}}
     57 #endif
     58 
     59 _Complex short int complexint;
     60 
     61 
     62 #if ALL || OMITTEDOPERAND
     63 // expected-warning@+3 {{use of GNU ?: conditional expression extension, omitting middle operand}}
     64 #endif
     65 
     66 static const char* omittedoperand = (const char*)0 ?: "Null";
     67 
     68 
     69 #if ALL || EMPTYINIT
     70 // expected-warning@+3 {{use of GNU empty initializer extension}}
     71 #endif
     72 
     73 struct { int x; } emptyinit = {};
     74 
     75 
     76 #if ALL || LABELVALUE
     77 // expected-warning@+6 {{use of GNU address-of-label extension}}
     78 // expected-warning@+7 {{use of GNU indirect-goto extension}}
     79 #endif
     80 
     81 void labelvalue() {
     82 	void *ptr;
     83 	ptr = &&foo;
     84 foo:
     85 	goto *ptr;
     86 }
     87 
     88 
     89 #if ALL || STATEMENTEXP
     90 // expected-warning@+5 {{use of GNU statement expression extension}}
     91 #endif
     92 
     93 void statementexp()
     94 {
     95 	int a = ({ 1; });
     96 }
     97 
     98 
     99 #if ALL || COMPOUNDLITERALINITIALIZER
    100 // expected-warning@+4 {{initialization of an array of type 'int [5]' from a compound literal of type 'int [5]' is a GNU extension}}
    101 #endif
    102 
    103 typedef int int5[5];
    104 int cli[5] = (int[]){1, 2, 3, 4, 5};
    105 
    106 
    107 #if ALL || FLEXIBLEARRAYINITIALIZER
    108 // expected-note@+6 {{initialized flexible array member 'y' is here}}
    109 // expected-warning@+6 {{flexible array initialization is a GNU extension}}
    110 #endif
    111 
    112 struct fai {
    113   int x;
    114   int y[];
    115 } fai = { 1, { 2, 3, 4 } };
    116 
    117 
    118 #if ALL || FOLDINGCONSTANT
    119 // expected-warning@+5 {{expression is not an integer constant expression; folding it to a constant is a GNU extension}}
    120 // expected-warning@+7 {{variable length array folded to constant array as an extension}}
    121 #endif
    122 
    123 enum {
    124 	fic = (int)(0.75 * 1000 * 1000)
    125 };
    126 static const int size = 100;
    127 void foo(void) { int data[size]; }
    128 
    129 #if ALL || REDECLAREDENUM
    130 // expected-note@+4 {{previous definition is here}}
    131 // expected-warning@+8 {{redeclaration of already-defined enum 'RE' is a GNU extension}}
    132 #endif
    133 
    134 enum RE {
    135   Val1,
    136   Val2
    137 };
    138 
    139 enum RE;
    140 
    141 
    142 #if ALL || UNIONCAST
    143 // expected-warning@+4 {{cast to union type is a GNU extension}}
    144 #endif
    145 
    146 union uc { int i; unsigned : 3; };
    147 union uc w = (union uc)2;
    148 
    149 
    150 #if ALL || VARIABLESIZEDTYPENOTATEND
    151 // expected-warning@+8 {{field 'hdr' with variable sized type 'struct vst' not at the end of a struct or class is a GNU extension}}
    152 #endif
    153 
    154 struct vst {
    155  short tag_type;
    156  char tag_data[];
    157 };
    158 struct vstnae {
    159   struct vst hdr;
    160   char data;
    161 };
    162 
    163 
    164 #if ALL || EMPTYSTRUCT
    165 // expected-warning@+4 {{empty struct is a GNU extension}}
    166 // expected-warning@+4 {{struct without named members is a GNU extension}}
    167 #endif
    168 
    169 const struct {} es;
    170 struct {int:5;} swnm;
    171 
    172