http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46010
--- Comment #10 from Marco van Hulten <marco at hulten dot org> 2010-10-26 09:13:28 UTC --- On Tue, 26 Oct 2010 01:37:08 +0000 jvdelisle wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46010 > > --- Comment #9 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> > 2010-10-26 01:37:04 UTC --- Created attachment 22156 > --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22156 > Patch to fix this. > > I think my email service is out. I attach the patch here for review. > It may show up on the list. I tried sending it three times. Thank you for the patch. I have no time right now to apply and check the patch, but maybe in the weekend. Cheers, Marco