http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56120
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> 2013-01-27 09:56:12 UTC --- I see it with 4.7, but not with trunk, it may already be fixed there.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56120
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> 2013-01-27 09:56:12 UTC --- I see it with 4.7, but not with trunk, it may already be fixed there.