http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55761
Paulo J. Matos <pa...@matos-sorge.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #9 from Paulo J. Matos <pa...@matos-sorge.com> --- Mark Glisse has submitted the patch for this to HEAD. I guess we can now comfortably close the report.