The following reply was made to PR port-xen/29887; it has been noted by GNATS.

From: YAMAMOTO Takashi <yamt@mwd.biglobe.ne.jp>
To: christos@zoulas.com
Cc: gnats-bugs@netbsd.org, port-xen-maintainer@netbsd.org,
	gnats-admin@netbsd.org, netbsd-bugs@netbsd.org
Subject: Re: port-xen/29887: sysctl kern.consdev coredumps
Date: Fri, 08 Apr 2005 11:38:48 +0900

 > I would say that the proper fix is to make puts(NULL), and fputs(fp, NULL)
 > behave like printf("%s\n", NULL) and fprintf(fp, "%s", NULL) respectively:
 
 i'd say the proper fix is:
 	- change the callers of printf not to expect printf("%s\n", NULL) work.
 	- and disable the optimization in gcc.
 
 YAMAMOTO Takashi