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     parameter 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  }