------- 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