http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56421
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-02-22 23:20:28 UTC --- as explained in comment 6
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56421
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-02-22 23:20:28 UTC --- as explained in comment 6