https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59131
--- Comment #6 from Patrick Marlier <patrick.marlier at gmail dot com> --- This bug seems to be the same as this one: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52173 Maybe the patch can be backported to 4.7 (hopefully without breaking anything?).
