http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49118 --- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-05-26 09:41:10 UTC --- Maybe Jason can give you some tips, better sending the patch to the mailing list for that, though, Bugzilla isn't meant for patches. CC Jason.