xref: /llvm-project/clang/test/Sema/c89.c (revision 9c4ade0623af842cda16e5c71b27fb794a3ff3db)
1 /* RUN: %clang_cc1 %s -std=c89 -pedantic -fsyntax-only -verify -Wimplicit-function-declaration -Wno-strict-prototypes
2  */
test1(void)3 void test1(void) {
4   {
5     int i;
6     i = i + 1;
7     int j;          /* expected-warning {{mixing declarations and code}} */
8   }
9   {
10     __extension__ int i;
11     i = i + 1;
12     int j;          /* expected-warning {{mixing declarations and code}} */
13   }
14   {
15     int i;
16     i = i + 1;
17     __extension__ int j; /* expected-warning {{mixing declarations and code}} */
18   }
19 }
20 
21 long long test2;   /* expected-warning {{extension}} */
22 
23 
test3(int i)24 void test3(int i) {
25   int A[i];        /* expected-warning {{variable length array}} */
26 }
27 
28 int test4 = 0LL;   /* expected-warning {{long long}} */
29 
30 /* PR1999 */
31 void test5(register);
32 
33 /* PR2041 */
34 int *restrict;
35 int *__restrict;  /* expected-error {{expected identifier}} */
36 
37 
38 /* Implicit int, always ok */
test6(void)39 test6(void) { return 0; }
40 
41 /* PR2012 */
42 test7;
43 
44 void test8(int, x);
45 
46 typedef int sometype;
a(sometype,y)47 int a(sometype, y) {return 0;}  /* expected-warning {{omitting the parameter name in a function definition is a C23 extension}}*/
48 
49 void bar (void *);
f11(z)50 void f11 (z)       /* expected-error {{may not have 'void' type}} */
51 void z;
52 { bar (&z); }
53 
54 typedef void T;
55 void foo(T); /* typedef for void is allowed */
56 
foo(void)57 void foo(void) {}
58 
59 /* PR2759 */
60 void test10 (int x[*]); /* expected-warning {{variable length arrays are a C99 feature}} */
61 void test11 (int x[static 4]); /* expected-warning {{static array size is a C99 feature}} */
62 
test12(int x[const4])63 void test12 (int x[const 4]) { /* expected-warning {{qualifier in array size is a C99 feature}} */
64   int Y[x[1]]; /* expected-warning {{variable length arrays are a C99 feature}} */
65 }
66 
67 /* PR4074 */
68 struct test13 {
69   int X[23];
70 } test13a();
71 
test13b()72 void test13b() {
73   int a = test13a().X[1]; /* expected-warning {{ISO C90 does not allow subscripting non-lvalue array}} */
74   int b = 1[test13a().X]; /* expected-warning {{ISO C90 does not allow subscripting non-lvalue array}} */
75 }
76 
77 /* Make sure we allow *test14 as a "function designator" */
test14(void)78 int test14(void) { return (&*test14)(); }
79 
80 int test15[5] = { [2] = 1 }; /* expected-warning {{designated initializers are a C99 feature}} */
81 
82 extern int printf(__const char *__restrict __format, ...);
83 
84 /* Warn, but don't suggest typo correction. */
test16(void)85 void test16(void) {
86   printg("Hello, world!\n"); /* expected-warning {{implicit declaration of function 'printg'}} */
87 }
88 
89 struct x { int x,y[]; }; /* expected-warning {{flexible array members are a C99 feature}} */
90 
91 /* Duplicated type-qualifiers aren't allowed by C90 */
92 const const int c_i; /* expected-warning {{duplicate 'const' declaration specifier}} */
93 typedef volatile int vol_int;
94 volatile vol_int volvol_i; /* expected-warning {{duplicate 'volatile' declaration specifier}} */
95 typedef volatile vol_int volvol_int; /* expected-warning {{duplicate 'volatile' declaration specifier}} */
96 const int * const c;
97 
98 typedef const int CI;
99 
100 const CI mine1[5][5]; /* expected-warning {{duplicate 'const' declaration specifier}} */
101 
102 typedef CI array_of_CI[5];
103 const array_of_CI mine2; /* expected-warning {{duplicate 'const' declaration specifier}} */
104 
105 typedef CI *array_of_pointer_to_CI[5];
106 const array_of_pointer_to_CI mine3;
107 
main(void)108 void main(void) {} /* expected-error {{'main' must return 'int'}} */
109 
main(void)110 const int main(void) {} /* expected-error {{'main' must return 'int'}} */
111 
112 long long ll1 = /* expected-warning {{'long long' is an extension when C99 mode is not enabled}} */
113          -42LL; /* expected-warning {{'long long' is an extension when C99 mode is not enabled}} */
114 unsigned long long ull1 = /* expected-warning {{'long long' is an extension when C99 mode is not enabled}} */
115                    42ULL; /* expected-warning {{'long long' is an extension when C99 mode is not enabled}} */
116 
117 struct Test17 { int a; };
118 struct Test17 test17_aux(void);
119 
test17(int v,int w)120 void test17(int v, int w) {
121   int a[2] = { v, w }; /* expected-warning {{initializer for aggregate is not a compile-time constant}} */
122   struct Test17 t0 = { v }; /* expected-warning {{initializer for aggregate is not a compile-time constant}} */
123   struct Test17 t1 = test17_aux(); /* this is allowed */
124 }
125 
126