[Bug c++/27336] "this" pointer is not assumed to be not null

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2006-04-27 13:10 -------
Confirmed.  The frontend needs to tell the middle-end that the argument is
non-NULL.  Like by making the methods __attribute__((nonnull(1))).


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |missed-optimization
      Known to fail|                            |4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-04-27 13:10:59
               date|                            |


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