http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39438
--- Comment #9 from D. Hugh Redelmeier <hugh at mimosa dot com> --- Created attachment 32784 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32784&action=edit minimal C source code that demonstrates the problem minimal C source code that demonstrates the problem. Notice that the (system-provided) declaration annotates the format argument dirrectly with __format. I haven't found documentation for that.