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

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-04-25 20:52 -------
*** Bug 30043 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |madcoder at debian dot org


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