1 // RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic
2
3 extern int a1[];
4
5 void f0();
6 void f1(int [*]);
7 void f2(int [const *]);
8 void f3(int [volatile const*]);
9 int f4(*XX)(void); /* expected-error {{cannot return}} expected-warning {{type specifier missing, defaults to 'int'}} */
10
11 char ((((*X))));
12
13 void (*signal(int, void (*)(int)))(int);
14
15 int aaaa, ***C, * const D, B(int);
16
17 int *A;
18
19 struct str;
20
test2(int * P,int A)21 void test2(int *P, int A) {
22 struct str;
23
24 // Hard case for array decl, not Array[*].
25 int Array[*(int*)P+A];
26 }
27
28 typedef int atype;
test3(x,atype)29 void test3(x,
30 atype /* expected-error {{unexpected type name 'atype': expected identifier}} */
31 ) int x, atype; {}
32
test4(x,x)33 void test4(x, x) int x; {} /* expected-error {{redefinition of parameter 'x'}} */
34
35
36 // PR3031
37 int (test5), ; // expected-error {{expected identifier or '('}}
38
39
40
41 // PR3963 & rdar://6759604 - test error recovery for mistyped "typenames".
42
43 foo_t *d; // expected-error {{unknown type name 'foo_t'}}
44 foo_t a; // expected-error {{unknown type name 'foo_t'}}
test6()45 int test6() { return a; } // a should be declared.
46
47 // Use of tagged type without tag. rdar://6783347
48 struct xyz { int y; };
49 enum myenum { ASDFAS };
50 xyz b; // expected-error {{must use 'struct' tag to refer to type 'xyz'}}
51 myenum c; // expected-error {{must use 'enum' tag to refer to type 'myenum'}}
52
test7()53 float *test7() {
54 // We should recover 'b' by parsing it with a valid type of "struct xyz", which
55 // allows us to diagnose other bad things done with y, such as this.
56 return &b.y; // expected-warning {{incompatible pointer types returning 'int *' from a function with result type 'float *'}}
57 }
58
test8()59 struct xyz test8() { return a; } // a should be be marked invalid, no diag.
60
61
62 // Verify that implicit int still works.
63 static f; // expected-warning {{type specifier missing, defaults to 'int'}}
64 static g = 4; // expected-warning {{type specifier missing, defaults to 'int'}}
65 static h // expected-warning {{type specifier missing, defaults to 'int'}}
66 __asm__("foo");
67
68
69 struct test9 {
70 int x // expected-error {{expected ';' at end of declaration list}}
71 int y;
72 int z // expected-warning {{expected ';' at end of declaration list}}
73 };
74
75 // PR6208
76 struct test10 { int a; } static test10x;
77 struct test11 { int a; } const test11x;
78
79 // PR6216
test12()80 void test12() {
81 (void)__builtin_offsetof(struct { char c; int i; }, i);
82 }
83
84 // rdar://7608537
85 struct test13 { int a; } (test13x);
86
87 // <rdar://problem/8044088>
88 struct X<foo::int> { }; // expected-error{{expected identifier or '('}}
89
90
91 // PR7617 - error recovery on missing ;.
92
93 void test14() // expected-error {{expected ';' after top level declarator}}
94
95 void test14a();
96 void *test14b = (void*)test14a; // Make sure test14a didn't get skipped.
97
98 // rdar://problem/8358508
99 long struct X { int x; } test15(); // expected-error {{'long struct' is invalid}}
100
101 void test16(i) int i j; { } // expected-error {{expected ';' at end of declaration}}
102 void test17(i, j) int i, j k; { } // expected-error {{expected ';' at end of declaration}}
103
104
105 // PR12595
106 void test18() {
107 int x = 4+(5-12)); // expected-error {{extraneous ')' before ';'}}
108 }
109
110 enum E1 { e1 }: // expected-error {{expected ';'}}
111 struct EnumBitfield {
112 enum E2 { e2 } : 4; // ok
113 struct S { int n; }: // expected-error {{expected ';'}}
114 };
115