------- Comment #4 from pmaydell at chiark dot greenend dot org dot uk 2007-02-20 22:23 ------- Manuel: thanks for volunteering to write a patch.
I've just spoken with Joseph Myers (a friend of mine who does gcc development work), and his opinion was that this issue isn't a sufficiently major one for it to be worth trying to make a case on the mailing list beforehand. His recommendation was to submit a patch first. So I think you should feel free to write the patch. (Or I might do it if I find some free time, but that doesn't seem very likely at this point.) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28322
