http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46350
--- Comment #5 from dave.anglin at bell dot net 2011-07-14 11:57:34 UTC --- On 14-Jul-11, at 4:44 AM, ebotcazou at gcc dot gnu.org wrote: > Can you submit the patch if it works? It works. I will install later today after work if someone doesn't install it first. Dave -- John David Anglin dave.ang...@bell.net