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