gcc/testsuite/gcc.dg/pr56980.c

   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
   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 \\*." } */
  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 }