1 2 3 4 5 6 7 8 9
static int f(int n) { __label__ n; n: return n; } /* * check-name: __label__ scope */