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

--- Comment #26 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
More simplified testcase:
/* PR middle-end/89497 */

static unsigned long *
foo (unsigned long *x)
{
  return x + (1 + *x);
}

__attribute__((noipa)) unsigned long
bar (unsigned long *x)
{
  unsigned long c, d = 1, e, *f, g, h = 0, i;
  for (e = *x - 1; e > 0; e--)
    {
      f = foo (x + 1);
      for (i = 1; i < e; i++)
        f = foo (f);
      c = *f;
      if (c == 2)
        d *= 2;
      else
        {
          i = (c - 1) / 2 - 1;
          g = (2 * i + 1) * (d + 1) + (2 * d + 1);
          if (g > h)
            h = g;
          d *= c;
        }
    }
  return h;
}

int
main ()
{
  unsigned long a[18] = { 4, 2, -200, 200, 2, -400, 400, 3, -600, 0, 600, 5,
-100, -66, 0, 66, 100, __LONG_MAX__ / 8 + 1 };
  if (bar (a) != 17)
    __builtin_abort ();
  return 0;
}

Reply via email to