[Bug c/16351] NULL dereference warnings

[jg at jguk dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=16351

--- Comment #45 from Jon Grant <jg at jguk dot org> ---
(In reply to Manuel López-Ibáñez from comment #39)
> (In reply to David Binderman from comment #38)
> > It could even be the case that the "potential NULL" code gets
> > put into some backwater flag away from -Wall, and, after a suitable period
> > of more testing, the "definately NULL" code gets to go into
> > prime time of -Wall. 
> 
> We could split the flag into -Wnull-dereference and -Wmaybe-null-dereference.

Sounds good. I'm keen to see it in :)