[Bug c/16351] NULL dereference warnings

[tim.ruehsen at gmx dot de]

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

--- Comment #42 from Tim Ruehsen <tim.ruehsen at gmx dot de> ---
(In reply to Jeffrey A. Law from comment #41)
> Actually I think we want the concept of never returns NULL, both as an
> attribute and as a property the compiler can discover by analysis.  Given
> that property on the return value, it can be propagated into call sites.

++ That sounds like very useful feature.