On Fri, Jun 17, 2005 at 01:20:39PM -0500, James Chacon wrote: > The bug you cite doesn't discuss that. It's simply noting that > printf("%s", NULL) is undefined behavior [..] Which, IMHO, we should avoid in our code. How to catch it easily is an open question. Martin