blob: f63b59f7caa64bf0a236bacbfa1a451018a642ae [file] [log] [blame]
Daniel Dunbara5728872009-12-15 20:14:24 +00001// RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic
Reid Spencer5f016e22007-07-11 17:01:13 +00002
3extern int a1[];
4
5void f0();
6void f1(int [*]);
7void f2(int [const *]);
8void f3(int [volatile const*]);
Chris Lattnerd658b562008-04-05 06:32:51 +00009int f4(*XX)(void); /* expected-error {{cannot return}} expected-warning {{type specifier missing, defaults to 'int'}} */
Reid Spencer5f016e22007-07-11 17:01:13 +000010
11char ((((*X))));
12
13void (*signal(int, void (*)(int)))(int);
14
Chris Lattner33c6ebe2009-04-12 22:12:26 +000015int aaaa, ***C, * const D, B(int);
Reid Spencer5f016e22007-07-11 17:01:13 +000016
17int *A;
18
19struct str;
20
Mike Stumpd1969d82009-07-22 00:43:08 +000021void test2(int *P, int A) {
Reid Spencer5f016e22007-07-11 17:01:13 +000022 struct str;
23
24 // Hard case for array decl, not Array[*].
25 int Array[*(int*)P+A];
26}
27
Chris Lattneraaf9ddb2008-04-06 06:47:48 +000028typedef int atype;
Mike Stumpd1969d82009-07-22 00:43:08 +000029void test3(x,
30 atype /* expected-error {{unexpected type name 'atype': expected identifier}} */
31 ) int x, atype; {}
Reid Spencer5f016e22007-07-11 17:01:13 +000032
Mike Stumpd1969d82009-07-22 00:43:08 +000033void test4(x, x) int x; {} /* expected-error {{redefinition of parameter 'x'}} */
Chris Lattner3825c2e2008-04-06 06:50:56 +000034
Chris Lattner1f6f54b2008-11-11 06:13:16 +000035
36// PR3031
37int (test5), ; // expected-error {{expected identifier or '('}}
38
Chris Lattnerc199ab32009-04-12 20:42:31 +000039
40
41// PR3963 & rdar://6759604 - test error recovery for mistyped "typenames".
42
Chris Lattnerc199ab32009-04-12 20:42:31 +000043foo_t *d; // expected-error {{unknown type name 'foo_t'}}
Chris Lattner33c6ebe2009-04-12 22:12:26 +000044foo_t a; // expected-error {{unknown type name 'foo_t'}}
Chris Lattner4c97d762009-04-12 21:49:30 +000045int test6() { return a; } // a should be declared.
Chris Lattnerc199ab32009-04-12 20:42:31 +000046
Chris Lattner4c97d762009-04-12 21:49:30 +000047// Use of tagged type without tag. rdar://6783347
48struct xyz { int y; };
49enum myenum { ASDFAS };
John McCall23e907a2010-02-14 01:03:10 +000050xyz b; // expected-error {{must use 'struct' tag to refer to type 'xyz'}}
51myenum c; // expected-error {{must use 'enum' tag to refer to type 'myenum'}}
Chris Lattner4c97d762009-04-12 21:49:30 +000052
53float *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.
Douglas Gregord4eea832010-04-09 00:35:39 +000056 return &b.y; // expected-warning {{incompatible pointer types returning 'int *' from a function with result type 'float *'}}
Chris Lattner4c97d762009-04-12 21:49:30 +000057}
58
Chris Lattner33c6ebe2009-04-12 22:12:26 +000059struct xyz test8() { return a; } // a should be be marked invalid, no diag.
60
Chris Lattner4c97d762009-04-12 21:49:30 +000061
62// Verify that implicit int still works.
Chris Lattnerc199ab32009-04-12 20:42:31 +000063static f; // expected-warning {{type specifier missing, defaults to 'int'}}
64static g = 4; // expected-warning {{type specifier missing, defaults to 'int'}}
65static h // expected-warning {{type specifier missing, defaults to 'int'}}
Eli Friedmaneb32fde2009-04-28 03:13:54 +000066 __asm__("foo");
Chris Lattner3e156ad2010-02-02 00:37:27 +000067
68
69struct 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};
Chris Lattner99c95202010-02-02 17:32:27 +000074
75// PR6208
76struct test10 { int a; } static test10x;
77struct test11 { int a; } const test11x;
Chris Lattner16acfee2010-02-03 01:45:03 +000078
79// PR6216
80void test12() {
81 (void)__builtin_offsetof(struct { char c; int i; }, i);
82}
Chris Lattnerc2e1c1a2010-02-03 20:41:24 +000083
84// rdar://7608537
85struct test13 { int a; } (test13x);
Douglas Gregor5ee37342010-05-30 22:30:21 +000086
87// <rdar://problem/8044088>
88struct X<foo::int> { }; // expected-error{{expected identifier or '('}}
Chris Lattner004659a2010-07-11 22:42:07 +000089
90
91// PR7617 - error recovery on missing ;.
92
Chris Lattner9b3215d2010-07-11 22:46:04 +000093void test14() // expected-error {{expected ';' after top level declarator}}
Chris Lattner004659a2010-07-11 22:42:07 +000094
95void test14a();
96void *test14b = (void*)test14a; // Make sure test14a didn't get skipped.
John McCall9e46b8c2010-08-26 17:22:34 +000097
98// rdar://problem/8358508
John McCallcebc3762010-08-26 17:42:30 +000099long struct X { int x; } test15(); // expected-error {{'long struct' is invalid}}
David Blaikieb031eab2012-04-06 23:33:59 +0000100
101void test16(i) int i j; { } // expected-error {{expected ';' at end of declaration}}
102void test17(i, j) int i, j k; { } // expected-error {{expected ';' at end of declaration}}
Chris Lattner8bb21d32012-04-28 16:12:17 +0000103
104
105// PR12595
106void test18() {
107 int x = 4+(5-12)); // expected-error {{extraneous ')' before ';'}}
108}
109
Richard Smith139be702012-07-02 19:14:01 +0000110enum E1 { e1 }: // expected-error {{expected ';'}}
111struct EnumBitfield {
112 enum E2 { e2 } : 4; // ok
113 struct S { int n; }: // expected-error {{expected ';'}}
114};