Sorry for duplicates, I'm resending as plain text for the mailing list. On Wed, Feb 1, 2017 at 6:57 AM, Richard Biener <rguent...@suse.de> wrote: > > > The following XFAILs the testcases, making them fail reliably independelty > of int/long type sizes and also providing new testcase variants that > succeed reliably. > > I don't see us fixing the underlying niter analysis issue for GCC 7. >
I agree. There is a way with isl to represent the modulo expressions for niter. It would take some time to properly implement. > > Tested on x86_64-unknown-linux-gnu with {,-m32}, applied. > Thanks, Sebastian