1  /* { dg-do compile } */
       2  /* { dg-additional-options "-O1 -fno-tree-fre" } */
       3  
       4  volatile unsigned char g_324[4] = {0, 1, 0, 1};
       5  void foo (int);
       6  int x, y;
       7  void func_81(void)
       8  {
       9      int l_466, l_439[7] = {0}, g_97;
      10  lbl_473:
      11      if (x) {
      12          for (g_97 = 0; (g_97 < 4); ++g_97) {
      13              if (y)
      14                goto lbl_473;
      15              g_324[g_97];
      16              l_466 = l_439[g_97];
      17          }
      18          foo(l_466);
      19      }
      20  }
      21