gcc/testsuite/gcc.dg/diagnostic-types-1.c

   1 /* PR c/81233 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-fpermissive -Wc++-compat -Wpedantic" } */
   4 /* Test we're printing the types, like the good compiler we are.  */
   5
   6 enum E1 { A } e;
   7 enum E2 { B };
   8 extern void foo_E (enum E1); /* { dg-message "expected 'enum E1' but argument is of type 'int'" } */
   9 extern void foo (char *); /* { dg-message "expected 'char \\*' but argument is of type 'int \\*'" } */
  10 extern void foo2 (int *); /* { dg-message "expected 'int \\*' but argument is of type 'int'" } */
  11 extern void foo3 (int); /* { dg-message "expected 'int' but argument is of type 'int \\*'" } */
  12 extern void foo4 (int *); /* { dg-message "expected 'int \\*' but argument is of type 'unsigned int \\*'" } */
  13
  14 char *
  15 fn0 (int *p, char *q)
  16 {
  17   p = q; /* { dg-warning "assignment to 'int \\*' from incompatible pointer type 'char \\*'" } */
  18   int *r = q; /* { dg-warning "initialization of 'int \\*' from incompatible pointer type 'char \\*'" } */
  19   foo (r); /* { dg-warning "passing argument 1 of 'foo' from incompatible pointer type" } */
  20   return p; /* { dg-warning "returning 'int \\*' from a function with incompatible return type 'char \\*'" } */
  21 }
  22
  23 int *
  24 fn1 (int *p)
  25 {
  26   p = 1; /* { dg-warning "assignment to 'int \\*' from 'int' makes pointer from integer without a cast" } */
  27   int *q = 1; /* { dg-warning "initialization of 'int \\*' from 'int' makes pointer from integer without a cast" } */
  28   foo2 (1); /* { dg-warning "passing argument 1 of 'foo2' makes pointer from integer without a cast" } */
  29   return 1; /* { dg-warning "returning 'int' from a function with return type 'int \\*' makes pointer from integer without a cast" } */
  30 }
  31
  32 int
  33 fn2 (int i, int *p)
  34 {
  35   i = p; /* { dg-warning "assignment to 'int' from 'int \\*' makes integer from pointer without a cast" } */
  36   int j = p; /* { dg-warning "initialization of 'int' from 'int \\*' makes integer from pointer without a cast" } */
  37   foo3 (p); /* { dg-warning "passing argument 1 of 'foo3' makes integer from pointer without a cast" } */
  38   return p; /* { dg-warning "returning 'int \\*' from a function with return type 'int' makes integer from pointer without a cast" } */
  39 }
  40
  41 int *
  42 fn3 (int *p, unsigned int *u)
  43 {
  44   p = u; /* { dg-warning "pointer targets in assignment from 'unsigned int \\*' to 'int \\*' differ in signedness" } */
  45   int *q = u; /* { dg-warning "pointer targets in initialization of 'int \\*' from 'unsigned int \\*' differ in signedness" } */
  46   foo4 (u); /* { dg-warning "pointer targets in passing argument 1 of 'foo4' differ in signedness" } */
  47   return u; /* { dg-warning "pointer targets in returning 'unsigned int \\*' from a function with return type 'int \\*' differ in signedness" } */
  48 }
  49
  50 enum E1
  51 fn4 (void)
  52 {
  53   foo_E (B); /* { dg-warning "enum conversion when passing argument" } */
  54   e = 0; /* { dg-warning "enum conversion from 'int' to 'enum E1' in assignment is invalid" } */
  55   enum E1 f = 0; /* { dg-warning "enum conversion from 'int' to 'enum E1' in initialization is invalid" } */
  56   return 0; /* { dg-warning "enum conversion from 'int' to 'enum E1' in return is invalid" } */
  57 }