user_data: move to the return_states API
[smatch.git] / validation / label-scope.c
blob7af3d916c347ca78db02482ba97c7caae2ea3e5b
1 static int f(int n)
3 __label__ n;
4 n: return n;
6 static int g(int n)
8 n: return n;
11 * check-name: __label__ scope