https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64223
--- Comment #3 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Mon, 8 Dec 2014, harald at gigawatt dot nl wrote: > I do not know if the problem is in the headers (that they should not be > specifying the format attribute), or in GCC (that it should be ignoring the > format attribute if it's already known). GCC is meant to ignore duplicate attributes; maybe the code in decl_attributes is failing to detect this one as duplicate for some reason.