https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52773
--- Comment #11 from Mikael Pettersson <mikpelinux at gmail dot com> --- Probably just needs pinging. FWIW I've had it in my 4.7 and 4.8 toolchains (for all my targets) since last summer w/o issues.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52773
--- Comment #11 from Mikael Pettersson <mikpelinux at gmail dot com> --- Probably just needs pinging. FWIW I've had it in my 4.7 and 4.8 toolchains (for all my targets) since last summer w/o issues.