/* { dg-do run } */
/* { dg-additional-options "-fsanitize=unreachable" } */


int a, b, c, d;

void
fn1 ()
{
  for (c = 0; c < 2; c++)
    {
      int e, f = 1;
      for (e = 0; e < 2; e++)
	{
	  if (!f)
	    return;
	  for (d = 0; d; d++)
	    f = b;
	}
    }
}

int
main ()
{
  for (; a < 1; a++)
    {
      fn1 ();
    }
  __builtin_exit (0);
}