|
111
|
1 /* PR c/56980 */
|
|
|
2 /* { dg-do compile } */
|
|
|
3
|
|
|
4 typedef struct A { int i; } B;
|
|
|
5 typedef union U { int i; } V;
|
|
|
6 typedef enum E { G } F;
|
|
|
7
|
|
131
|
8 void foo_s (struct A); /* { dg-message "expected .struct A. but argument is of type 'B \\*' {aka 'struct A \\*'}" } */
|
|
|
9 void foo_u (union U); /* { dg-message "expected .union U. but argument is of type 'V \\*' {aka 'union U \\*'}" } */
|
|
|
10 void foo_e (enum E); /* { dg-message "expected .enum E. but argument is of type 'F \\*' {aka 'enum E \\*'}" } */
|
|
|
11 void foo_sp (B *); /* { dg-message "expected 'B \\*' {aka 'struct A \\*'} but argument is of type .struct B \\*." } */
|
|
|
12 void foo_up (V *); /* { dg-message "expected 'V \\*' {aka 'union U \\*'} but argument is of type .union V \\*." } */
|
|
|
13 void foo_ep (F *); /* { dg-message "expected 'F \\*' {aka 'enum E \\*'} but argument is of type .enum F \\*." } */
|
|
111
|
14
|
|
|
15 void
|
|
|
16 bar (B *b, V *v, F *f)
|
|
|
17 {
|
|
|
18 foo_s (b); /* { dg-error "incompatible" } */
|
|
|
19 foo_u (v); /* { dg-error "incompatible" } */
|
|
|
20 foo_e (f); /* { dg-error "incompatible" } */
|
|
|
21 foo_sp ((struct B *) b); /* { dg-error "passing argument" } */
|
|
|
22 foo_up ((union V *) v); /* { dg-error "passing argument" } */
|
|
|
23 foo_ep (__extension__ (enum F *) f); /* { dg-error "passing argument" } */
|
|
|
24 }
|
