1  /* { dg-do compile } */
       2  /* { dg-require-effective-target label_values } */
       3  
       4  void
       5  ch (int x1)
       6  {
       7    ({ bx: &&bx; });
       8    while (x1 == 0)
       9      {
      10      }
      11  }