1  /* { dg-do compile } */
       2  /* { dg-options "-Os" } */
       3  
       4  int a, b;
       5  unsigned char e;
       6  void fn1 ()
       7  {
       8      unsigned char *c=0;
       9      for (;; a++)
      10      {
      11          unsigned char d = *(c + b);
      12          for (; &e<&d; c++)
      13              goto Found_Top;
      14      }
      15  Found_Top:
      16      if (0)
      17          goto Empty_Bitmap;
      18      for (;; a++)
      19      {
      20          unsigned char *e = c + b;
      21          for (; c < e; c++)
      22              goto Found_Bottom;
      23          c -= b;
      24      }
      25  Found_Bottom:
      26  Empty_Bitmap:
      27      ;
      28  }