http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55761
--- Comment #11 from Paulo J. Matos <pa...@matos-sorge.com> --- No worries Marc, that's fine. The most important thing is that's fixed. I did post the patch to patches@ but haven't actually pinged. I tend to forget about them myself. Thanks for sorting it out.