https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83216
--- Comment #6 from Thomas Preud'homme <thopre01 at gcc dot gnu.org> --- (In reply to rguent...@suse.de from comment #5) > On November 29, 2017 4:35:12 PM GMT+01:00, "thopre01 at gcc dot gnu.org" > <gcc-bugzi...@gcc.gnu.org> wrote: > >https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83216 > > > >--- Comment #3 from Thomas Preud'homme <thopre01 at gcc dot gnu.org> > >--- > >(In reply to Richard Biener from comment #2) > >> Can't reproduce > >> > >> What ISL version are you using? > > > >ISL 0.15. > > That's outdated. Can you try 0.18? > > Richard. > > >Also my apologies but I haven't tried on Arm Cortex-M7 yet actually, > >typed it > >in as a force of habit. > > > >Best regards. Fair enough, it PASSes with 0.18. I'm happy having this bug closed then. Sorry for the noise.