http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57301
--- Comment #2 from Marc Glisse ---
(In reply to Marc Glisse from comment #1)
> How old is your gcc build? (please fill in the version field when reporting
> bugs)
Oups, sorry, you mention it (4.7 and 4.8) in the text.
> This was fixed by Jakub
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57301
--- Comment #1 from Marc Glisse ---
How old is your gcc build? (please fill in the version field when reporting
bugs)
This was fixed by Jakub recently, so if you could check with current trunk...