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