https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70177
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 37933 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37933&action=edit gcc6-pr70177.patch Untested fix. The questions about latent issues, where the upper bound expression comes from and why it is so weird, remain.