https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66688
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 37030 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37030&action=edit gcc6-pr66688.patch So do you prefer this instead?
