db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / cgoto01.c
blob94b2c2c429db5fe3db5e9dc957d9e5627d1540c7
1 void abort(void) __attribute__((__noreturn__));
3 int foo(int a)
5 void *label;
7 if (a == a)
8 label = &&L1;
9 else
10 label = &&L2;
11 goto *label;
12 L1: return 0;
13 L2: abort();
17 * check-name: cgoto01
18 * check-command: test-linearize -Wno-decl $file
20 * check-output-ignore
21 * check-output-excludes: set\\.
22 * check-output-excludes: jmp
23 * check-output-excludes: call