http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48379
Summary: -Wdouble-promotion warns for promotion by varargs Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ AssignedTo: unassig...@gcc.gnu.org ReportedBy: jmuizel...@mozilla.com The following program gives a warning about double promotion: #include <stdio.h> void p() { float q = 5; printf("%g\n", q); } Since, there's not much that can be done to fix this situation it's probably not worth warning about. Alternatively, a switch could be added to avoid the warning spam.