http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57301
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> --- (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 recently, so if you could check with current trunk... It was only fixed for 4.9.