[Bug tree-optimization/115723] [14/15 Regression] SPEC CPU2017 521/621 build error with -Ofast and AVX512 enabled(-ftree-vectorize?)

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115723

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
double foo (double *x, double *y, int n)
{
  double res = 0.;
  for (int i = 0; i < n; ++i)
    if (y[i] > 1.)
      res += x[i];
    else
      res = 1e20;
  return res;
}

ICEs with -march=x86-64-v4 -Ofast -fno-unsafe-math-optimizations