On Thu, May 30, 2002 at 03:22:59PM -0400, Christos Zoulas wrote:

 > | 	void my_memcpy(void *dst, const void *src, size_t len)
 > | 	   __attribute__((__nonnull__(1,2)));
 > | 
 > | ..and the printf, etc. built-ins have nonnull attributes chained to the
 > | format attributes.
 > 
 > I like that better:
 > 
 > 	__attribute__((__format__(__printf__,__empty__(__null__(m)),n)));
 > 
 > so that you can specify that argument m, can be empty or null?

The __format__ attribute no longer implies "format argument must not be
null" in gcc-current.

-- 
        -- Jason R. Thorpe <thorpej@wasabisystems.com>