db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / setcc-mask.c
blob5d27178805e348d75266f7adf8df420ee64ab945
1 int foo (int a)
3 return ((a == 0) & 1) == (a == 0);
6 /*
7 * check-name: setcc-mask
8 * check-command: test-linearize -Wno-decl $file
10 * check-output-start
11 foo:
12 .L0:
13 <entry-point>
14 ret.32 $1
17 * check-output-end