1  /* { dg-do run } */
       2  /* { dg-additional-options "-fsanitize=unreachable" } */
       3  
       4  
       5  int a, b, c, d;
       6  
       7  void
       8  fn1 ()
       9  {
      10    for (c = 0; c < 2; c++)
      11      {
      12        int e, f = 1;
      13        for (e = 0; e < 2; e++)
      14  	{
      15  	  if (!f)
      16  	    return;
      17  	  for (d = 0; d; d++)
      18  	    f = b;
      19  	}
      20      }
      21  }
      22  
      23  int
      24  main ()
      25  {
      26    for (; a < 1; a++)
      27      {
      28        fn1 ();
      29      }
      30    __builtin_exit (0);
      31  }