[Bug c/64223] same warning repeated twice with same line number

joseph at codesourcery dot com gcc-bugzilla@gcc.gnu.org
Mon Dec 8 16:46:00 GMT 2014


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.



More information about the Gcc-bugs mailing list