http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53632
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-08-15 14:28:02 UTC --- yes it was only ok very briefly, and has been slow again since then
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53632
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-08-15 14:28:02 UTC --- yes it was only ok very briefly, and has been slow again since then