https://gcc.gnu.org/bugzilla/show_bug.cgi?id=16351
--- Comment #32 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- The NULL dereference warnings originally requested should be working in GCC 6 (unless we find some issue and the patch gets reverted). However, the original patch by Jeff also used the nonnull attribute to give even more warnings, thus I'm leaving this open for now.
