| /* When merging a nonprototype definition of a function with a prior |
| prototype declaration, the composite type of the return types must |
| be formed rather than just copying the function type. */ |
| /* Origin: Joseph Myers <jsm@polyomino.org.uk> */ |
| /* { dg-do compile } */ |
| |
| typedef int a[]; |
| typedef int a5[5]; |
| typedef int a10[10]; |
| |
| a *f1 (); |
| a5 *f1 () { return 0; } |
| |
| a *f2 (void); |
| a5 *f2 () { return 0; } |
| |
| a *f3 (); |
| a5 *f3 (void) { return 0; } |
| |
| a *f4 (void); |
| a5 *f4 (void) { return 0; } |
| |
| void |
| g (void) |
| { |
| a10 *x; |
| x = f1 (); /* { dg-error "incompatible" "f1" } */ |
| x = f2 (); /* { dg-error "incompatible" "f2" } */ |
| x = f3 (); /* { dg-error "incompatible" "f3" } */ |
| x = f4 (); /* { dg-error "incompatible" "f4" } */ |
| } |
