gcc/testsuite/gcc.dg/dremf-type-compat-2.c

   1 /* Test for bogus diagnostics for dremf definition.  Although this
   2    definition is formally incorrect in ISO C, a GNU extension permits
   3    a prototype followed by unpromoted types in a function definition,
   4    so it should be permitted when the function is built in.  Bug
   5    16666.  Test with -pedantic, where the problem should still be
   6    diagnosed.  */
   7 /* { dg-do compile } */
   8 /* { dg-options "-std=gnu17 -pedantic" } */
   9
  10 float dremf (float, float); /* { dg-warning "prototype declaration" } */
  11
  12 float
  13 dremf (x, y)
  14      float x; /* { dg-warning "promoted argument 'x' doesn't match prototype" } */
  15      float y; /* { dg-warning "promoted argument 'y' doesn't match prototype" } */
  16 {
  17   return x + y;
  18 }