/* { dg-do run } */

volatile int s, c;

__attribute__((noipa)) void
foo (void)
{
  if (c++ > 1)
    __builtin_abort ();
}

__attribute__((noipa)) int
bar (void)
{
  int i = 0, j = s;
  if (j == 0)
    goto lab;
  for (i = 0; i < j; i++)
    {
    lab:
      foo ();
      if (!j)
        goto lab;
    }
  return 0;
}

int
main ()
{
  s = 1;
  bar ();
  if (c != 1)
    __builtin_abort ();
  return 0;
}