xref: /illumos-gate/usr/src/tools/smatch/src/validation/kill-computedgoto.c (revision 4c87aefe8930bd07275b8dd2e96ea5f24d93a52e)
1 void foo(int a);
2 void foo(int a)
3 {
4 	void *l = &&end + 3;
5 
6 end:
7 	if (a * 0)
8 		goto *l;
9 }
10 
11 /*
12  * check-name: kill-computedgoto
13  * check-command: test-linearize $file
14  *
15  * check-output-ignore
16  * check-output-excludes: add\\.
17  */
18