/* Copyright (C) 2002 Free Software Foundation, Inc.
|
/* Copyright (C) 2002 Free Software Foundation, Inc.
|
|
|
Source: Neil Booth, 12 Feb 2002.
|
Source: Neil Booth, 12 Feb 2002.
|
|
|
In the declaration of proc, x must be parsed as a typedef name (C99
|
In the declaration of proc, x must be parsed as a typedef name (C99
|
6.7.5.3 p11. Also see C89 DR #009, which was erroneously ommitted
|
6.7.5.3 p11. Also see C89 DR #009, which was erroneously ommitted
|
from C99, and resubmitted as DR #249: if in a parameter
|
from C99, and resubmitted as DR #249: if in a parameter
|
declaration, an identifier can be read as a typedef name or a
|
declaration, an identifier can be read as a typedef name or a
|
paramter name, it is read as a typedef name). */
|
paramter name, it is read as a typedef name). */
|
|
|
/* { dg-do compile } */
|
/* { dg-do compile } */
|
|
|
typedef int x;
|
typedef int x;
|
typedef int y;
|
typedef int y;
|
int proc(int (x)); /* x is a typedef, param to proc is a function. */
|
int proc(int (x)); /* x is a typedef, param to proc is a function. */
|
int proc2(int x); /* x is an identifier, param is an int. */
|
int proc2(int x); /* x is an identifier, param is an int. */
|
|
|
/* Parameter to proc3 is unnamed, with type a function that returns
|
/* Parameter to proc3 is unnamed, with type a function that returns
|
int and takes a single argument of type function with one int
|
int and takes a single argument of type function with one int
|
parameter returning int. In particular, proc3 is not a function
|
parameter returning int. In particular, proc3 is not a function
|
that takes a parameter y that is a function with one int parameter
|
that takes a parameter y that is a function with one int parameter
|
returning int. 8-) */
|
returning int. 8-) */
|
int proc3(int (y (x)));
|
int proc3(int (y (x)));
|
|
|
int main ()
|
int main ()
|
{
|
{
|
proc (proc2); /* { dg-bogus "integer from pointer" } */
|
proc (proc2); /* { dg-bogus "integer from pointer" } */
|
return proc3 (proc); /* { dg-bogus "incompatible pointer type" } */
|
return proc3 (proc); /* { dg-bogus "incompatible pointer type" } */
|
}
|
}
|
|
|
