https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68343
--- Comment #6 from vries at gcc dot gnu.org --- (In reply to Sebastian Pop from comment #5) > You need ISL 0.15 to have these tests pass. > Could you please report which ISL version you configured gcc with? isl-0.14