https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80194
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |jakub at gcc dot gnu.org Resolution|--- |FIXED Target Milestone|5.5 |6.0 --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Fixed by r231863 in 6+, GCC 5 branch has been closed.