http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51307
--- Comment #6 from dave.anglin at bell dot net 2011-12-03 02:12:44 UTC --- On 28-Nov-11, at 4:48 AM, charlet at gcc dot gnu.org wrote: > Here is the patch from Thomas Quinot fixing this issue, I'll commit it > when I get a chance, feel free to use it/test it in the mean time: Patch doesn't work. -- John David Anglin dave.ang...@bell.net