http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53823
Richard Henderson <rth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2012-07-30 Ever Confirmed|0 |1 --- Comment #5 from Richard Henderson <rth at gcc dot gnu.org> 2012-07-30 13:31:15 UTC --- That patch is obviously correct.