db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / setne0-trunc.c
blob6c5494ecaa3a7b1230425c88d5016c19c4d805e9
1 char foo(int a) { return a != 0; }
3 /*
4 * check-name: setne0-trunc
5 * check-command: test-linearize -m64 -Wno-decl $file
7 * check-output-ignore
8 * check-output-excludes: trunc\\.
9 */