http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54659
--- Comment #22 from Diego Novillo <dnovillo at gcc dot gnu.org> 2013-05-07 15:07:54 UTC --- Looking at this today.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54659
--- Comment #22 from Diego Novillo <dnovillo at gcc dot gnu.org> 2013-05-07 15:07:54 UTC --- Looking at this today.