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

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |---
             Status|RESOLVED                    |NEW

--- Comment #21 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The patch was reverted, see PR 78817 on the reasons why.