| /* 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; |
| } |