http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54825
--- Comment #9 from Marc Glisse <glisse at gcc dot gnu.org> 2012-10-05 14:32:45 UTC --- (In reply to comment #8) Forget my comment, apparently Richard found the bug before I could even read the report... :-)