db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / cse-label.c
blobc3b552d3dec965af9dea79cdc17190836177adc0
1 int foo(void)
3 label:
4 return &&label == &&label;
7 /*
8 * check-name: cse-label
9 * check-command: test-linearize -Wno-decl $file
11 * check-output-ignore
12 * check-output-returns: 1