http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55789
--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> 2013-01-27 07:37:40 UTC --- Sorry, the apparent fix in comment#5 is just noise. The real fix is on its way today. Paul
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55789
--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> 2013-01-27 07:37:40 UTC --- Sorry, the apparent fix in comment#5 is just noise. The real fix is on its way today. Paul