// Verify that loop optimization takes into account the exception edge
// and does not increment I before the call.
// { dg-do run }
// { dg-options "-O2" }

extern "C" void abort();
static void bar(char *);

static void foo(unsigned long element_count, char *ptr)
{
  unsigned long i;
  try {
    for (i = 0; i != element_count; i++, ptr += 8)
      bar (ptr);
  }
  catch (...) {
    if (i)
      abort ();
  }
}

static void bar(char *)
{
  throw 1;
}

int main()
{
  foo(2, 0);
}