1  /* { dg-do compile } */
       2  /* { dg-options "-O1" } */
       3  
       4  /* A test for unreachable blocks removal -- bind_expr whose entry is
       5     unreachable, but it contains reachable statements.  */   
       6  
       7  void bar (void);
       8  void foo(void)
       9  {
      10    if (1)
      11      {
      12        goto bla;
      13      }
      14    else
      15      {
      16  xxx:
      17  	{
      18  bla:
      19  	  bar ();
      20  	  return;
      21  	}
      22        goto xxx;
      23      }
      24  }
      25