/* PR c/56980 */
/* { dg-do compile } */

typedef struct A { int i; } B;
typedef union U { int i; } V;
typedef enum E { G } F;

void foo_s (struct A); /* { dg-message "expected .struct A. but argument is of type 'B \\*' {aka 'struct A \\*'}" } */
void foo_u (union U); /* { dg-message "expected .union U. but argument is of type 'V \\*' {aka 'union U \\*'}" } */
void foo_e (enum E); /* { dg-message "expected .enum E. but argument is of type 'F \\*' {aka 'enum E \\*'}" } */
void foo_sp (B *); /* { dg-message "expected 'B \\*' {aka 'struct A \\*'} but argument is of type .struct B \\*." } */
void foo_up (V *); /* { dg-message "expected 'V \\*' {aka 'union U \\*'} but argument is of type .union V \\*." } */
void foo_ep (F *); /* { dg-message "expected 'F \\*' {aka 'enum E \\*'} but argument is of type .enum F \\*." } */

void 
bar (B *b, V *v, F *f)
{
  foo_s (b); /* { dg-error "incompatible" } */
  foo_u (v); /* { dg-error "incompatible" } */
  foo_e (f); /* { dg-error "incompatible" } */
  foo_sp ((struct B *) b); /* { dg-error "passing argument" } */
  foo_up ((union V *) v); /* { dg-error "passing argument" } */
  foo_ep (__extension__ (enum F *) f); /* { dg-error "passing argument" } */
}