Christos Zoulas wrote:

> Module Name:	gnusrc
> Committed By:	christos
> Date:		Mon Jun  7 02:48:00 UTC 1999
> 
> Modified Files:
> 
> 	gnusrc/gnu/dist/gcc: c-common.c
> 
> Log Message:
> 
> For now make the warning that we are passing a NULL format to printf
> like functions, only a pedantic warning. This will allow us to fix the
> err functions.

I was just having a peek at this, and it seemed like one way to do
it was to add a third integer argument to the format attribute which
was a flag, and one value would be "null fmt is valid".  This could
be bad though if third party software used __format__ - can a format
attribute have a variable number of arguments?  Another idea is to have
a __nullformat__ attribute which is the same as a __format__ attribute
but set a "null fmt is valid" flag as well...

Simon.