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 
7 void
f(void)8 f (void)
9 {
10   static __SIZE_TYPE__ x = &&a - &&b;
11   a : b : return;
12 }
13