slist: fix "stack not empty" errors
[smatch.git] / validation / local-label.c
blob951b0856182b41ae59ad291dd8bd884ac84664ee
1 void f(unsigned long ip);
2 static void g(void)
4 if (1) {
5 f(({ __label__ x; x: (unsigned long)&&x; }));
7 f(({ __label__ x; x: (unsigned long)&&x; }));
9 /*
10 * check-name: Local label