db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / cgoto02.c
blob932c3164e5ee0144101a296c6586e2d09fac1d8b
1 int foo(int a)
3 void *label = a ? &&l1 : &&l2;
4 goto *label;
5 l1:
6 return a;
7 l2:
8 return 0;
12 * check-name: cgoto02
13 * check-command: test-linearize -Wno-decl $file
15 * check-output-ignore
16 * check-output-returns: %arg1