xref: /illumos-gate/usr/src/tools/smatch/src/validation/local-label.c (revision 37e2cd25d56b334a2403f2540a0b0a1e6a40bcd1)
1 void f(unsigned long ip);
2 static void g(void)
3 {
4        if (1) {
5 	     f(({ __label__ x; x: (unsigned long)&&x; }));
6        }
7        f(({ __label__ x; x: (unsigned long)&&x; }));
8 }
9 /*
10  * check-name: Local label
11  */
12