[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-04 
15:38 -------
Confirmed, PR 19476 is case which depends on this.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
OtherBugsDependingO|                            |19476
              nThis|                            |
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |diagnostic, missed-
                   |                            |optimization
   Last reconfirmed|0000-00-00 00:00:00         |2005-03-04 15:38:22
               date|                            |


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