1  /* { dg-do compile } */
       2  
       3  struct a {
       4    enum { b, c } d;
       5    unsigned e;
       6    unsigned f;
       7  };
       8  void j(struct a *a, int i, int h)
       9  {
      10    unsigned f = a->f;
      11    switch (a->d)
      12      while (1)
      13        {
      14          if (i)
      15            {
      16      case b:
      17              if (h)
      18                goto k;
      19            }
      20          else
      21            f = 0;
      22      case c:;
      23        }
      24  k:
      25    a->e = a->f = f;
      26  }