Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

RE: nullable pointers

Posted Apr 5, 2011 6:27 UTC (Tue) by cmccabe (guest, #60281)
In reply to: RE: nullable pointers by neilbrown
Parent article: GCC 4.6.0 released

I think academics tend to dislike NULL is because it makes it harder to formally prove code correct. I'm kind of surprised nobody brought this up yet.

(Log in to post comments)