Updated -Wmissing-format-attribute patch

[Joseph S. Myers]

On Tue, 10 Oct 2000, Kaveh R. Ghazi wrote:

> Since, as you say this is analogous to -Wmissing-noreturn, IMHO you
> should zap the word "attribute" from the flag name to be more
> consistent.  I.e. -Wmissing-format, not -Wmissing-format-attribute.
> Ditto anywhere else "attribute" appears.

It seemed to me that -Wmissing-format would be entirely cryptic as to what
the option was about; the link "format" --> "format attribute" isn't
anywhere near as clear as "noreturn" --> "noreturn attribute".

-- 
Joseph S. Myers
jsm28@cam.ac.uk