1 // RUN: %clang_cc1 %s -verify -fsyntax-only
2 
3 void foo(void);
4 void foo(void) {}
5 void foo(void);
6 void foo(void); // expected-note {{previous declaration is here}}
7 
8 void foo(int); // expected-error {{conflicting types for 'foo'}}
9 
10 int funcdef()
11 {
12  return 0;
13 }
14 
15 int funcdef();
16 
17 int funcdef2() { return 0; } // expected-note {{previous definition is here}}
18 int funcdef2() { return 0; } // expected-error {{redefinition of 'funcdef2'}}
19 
20 // PR2502
21 void (*f)(void);
22 void (*f)() = 0;
23 
24 typedef __attribute__(( ext_vector_type(2) )) int Vi2;
25 typedef __attribute__(( ext_vector_type(2) )) float Vf2;
26 
27 Vf2 g0; // expected-note {{previous definition is here}}
28 Vi2 g0; // expected-error {{redefinition of 'g0'}}
29 
30 _Complex int g1; // expected-note {{previous definition is here}}
31 _Complex float g1; // expected-error {{redefinition of 'g1'}}
32 
33 // rdar://6096412
34 extern char i6096412[10];
35 extern char i6096412[];
36 void foo6096412(void) {
37   int x = sizeof(i6096412);
38 }
39 
40 
41 typedef int test1_IA[];
42 typedef int test1_A10[10];
43 static test1_A10 *test1_f(void);
44 void test1_g(void)
45 {
46   {
47     extern test1_IA  *test1_f(void);
48   }
49   (void)sizeof(*test1_f());
50 }
51 
52 typedef int test2_IA[];
53 typedef int test2_A10[10];
54 
55 static test2_A10 *test2_f(void);
56 static test2_IA  *test2_f(void);
57 
58 void test2_g(void)
59 {
60   (void)sizeof(*test2_f());
61 }
62 
63 int (*test3_f())[10];
64 int (*test3_f())[];
65 int test3_k = sizeof(*test3_f());
66 
67 void test4_f(int);
68 void test4_f(a)
69   char a;
70 {
71   int v[sizeof(a) == 1 ? 1 : -1];
72 }
73 
74 int test5_f(int (*)[10]);
75 int test5_f(int (*x)[]) {
76   return sizeof(*x); // expected-error {{invalid application of 'sizeof' to an incomplete type 'int []'}}
77 }
78 
79 void test6_f(int (*a)[11]);
80 void test6_f(a)
81    int (*a)[];
82 {}
83 void test6_g() {
84   int arr[10];
85   test6_f(&arr); // expected-warning {{incompatible pointer types passing 'int (*)[10]' to parameter of type 'int (*)[11]}}
86 }
87 
88 void test7_f(int (*)[10]);
89 void test7_f(int (*)[]); // expected-note {{passing argument to parameter here}}
90 void test7_g() {
91   int x[5];
92   test7_f(&x); // expected-warning {{incompatible pointer types passing 'int (*)[5]' to parameter of type 'int (*)[10]}}
93 }
94