avoid warning on explicit 'bool <- restricted' casts
[smatch.git] / validation / kill-computedgoto.c
blob3b3ed8ff26cf622de154ea1f1055b76cf4077847
1 void foo(int a);
2 void foo(int a)
4 void *l = &&end + 3;
6 end:
7 if (a * 0)
8 goto *l;
12 * check-name: kill-computedgoto
13 * check-command: test-linearize $file
15 * check-output-ignore
16 * check-output-excludes: add\\.