http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55383
--- Comment #3 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to Gerald Pfeifer from comment #2) > Somehow I cannot find your patch submission on gcc-patches -- is it > possible you haven't submitted it there yet? Will you be doing that, > or is it fine if I do? I don't remember what happened with this patch. Please feel free to adopt it if it works. Thanks for taking care of it.
