/* Test for bogus diagnostics for dremf definition.  Although this
   definition is formally incorrect in ISO C, a GNU extension permits
   a prototype followed by unpromoted types in a function definition,
   so it should be permitted when the function is built in.  Bug
   16666.  Test with -pedantic, where the problem should still be
   diagnosed.  */
/* { dg-do compile } */
/* { dg-options "-pedantic" } */

float dremf (float, float); /* { dg-warning "warning: prototype declaration" } */

float
dremf (x, y)
     float x;
     float y;
{ /* { dg-warning "warning: promoted argument '.' doesn't match prototype" } */
  return x + y;
}