[Bug middle-end/17308] nonnull attribute not as useful as it could be

[segher at gcc dot gnu.org]

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

--- Comment #19 from Segher Boessenkool <segher at gcc dot gnu.org> ---
powerpc64-linux, even.