| /* We were removing the label "a" because | |
| we were removing the BB for it but forgot | |
| to add back the label. */ | |
| /* { dg-options "" } */ | |
| /* { dg-require-effective-target label_values } */ | |
| void | |
| f (void) | |
| { | |
| static __SIZE_TYPE__ x = &&a - &&b; | |
| a : b : return; | |
| } |