1  /* We were removing the label "a" because
       2     we were removing the BB for it but forgot
       3     to add back the label.   */
       4  
       5  /* { dg-options "" } */
       6  /* { dg-require-effective-target label_values } */
       7  
       8  void
       9  f (void)
      10  {
      11    static __SIZE_TYPE__ x = &&a - &&b;
      12    a : b : return;
      13  }