https://gcc.gnu.org/bugzilla/show_bug.cgi?id=16351
--- Comment #41 from Jeffrey A. Law <law at redhat dot com> --- 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.