1  /* { dg-do compile } */
       2  /* { dg-options "-ftracer" } */
       3  
       4  int a, b;
       5  
       6  void f(void)
       7  {
       8    if(a++)
       9      {
      10        for(a = 0; a < 1;)
      11  	{
      12  	  for(b = 0; b < 1; b++)
      13  	    {
      14  	      while(a++ < 0);
      15  lbl:
      16  	      ;
      17  	    }
      18  
      19  	  if(a)
      20  	    goto lbl;
      21  	}
      22  
      23        goto lbl;
      24      }
      25  }