http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56361
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |WAITING Last reconfirmed| |2013-02-20 CC| |ebotcazou at gcc dot | |gnu.org Ever Confirmed|0 |1 --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-02-20 18:57:04 UTC --- That could make sense if you confirm that the generated code runs correctly once the assertion is relaxed.