|
111
|
1 /* Copyright (C) 2002 Free Software Foundation, Inc.
|
|
|
2
|
|
|
3 Source: Neil Booth, 12 Feb 2002.
|
|
|
4
|
|
|
5 In the declaration of proc, x must be parsed as a typedef name (C99
|
|
|
6 6.7.5.3 p11. Also see C89 DR #009, which was erroneously omitted
|
|
|
7 from C99, and resubmitted as DR #249: if in a parameter
|
|
|
8 declaration, an identifier can be read as a typedef name or a
|
|
|
9 paramter name, it is read as a typedef name). */
|
|
|
10
|
|
|
11 /* { dg-do compile } */
|
|
|
12
|
|
|
13 typedef int x;
|
|
|
14 typedef int y;
|
|
|
15 int proc(int (x)); /* x is a typedef, param to proc is a function. */
|
|
|
16 int proc2(int x); /* x is an identifier, param is an int. */
|
|
|
17
|
|
|
18 /* Parameter to proc3 is unnamed, with type a function that returns
|
|
|
19 int and takes a single argument of type function with one int
|
|
|
20 parameter returning int. In particular, proc3 is not a function
|
|
|
21 that takes a parameter y that is a function with one int parameter
|
|
|
22 returning int. 8-) */
|
|
|
23 int proc3(int (y (x)));
|
|
|
24
|
|
|
25 int main ()
|
|
|
26 {
|
|
|
27 proc (proc2); /* { dg-bogus "integer from pointer" } */
|
|
|
28 return proc3 (proc); /* { dg-bogus "incompatible pointer type" } */
|
|
|
29 }
|
