http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55798
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-12-23 15:06:30 UTC --- Sorry, wrong bug, it was Bug 2288
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55798
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-12-23 15:06:30 UTC --- Sorry, wrong bug, it was Bug 2288