1  /* { dg-do run } */
       2  
       3  int a, *c = &a, d; 
       4  char b = 1;
       5  
       6  void
       7  fn1 ()
       8  {
       9    d = 1;
      10  lbl:
      11    if (b == d)
      12      {
      13        d = *c;
      14        if (b)
      15  	goto lbl;
      16      }
      17  }
      18  
      19  int
      20  fn2 ()
      21  {
      22    fn1 ();
      23    return 0;
      24  }
      25  
      26  int
      27  main ()
      28  {
      29    fn2 ();
      30    return 0;
      31  }