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