xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/setne0-sext.c (revision 8515d723262b57176aeeda8734edbe79fe1e7a5a)
1 long foo(int a) { return a != 0; }
2 
3 /*
4  * check-name: setne0-sext
5  * check-command: test-linearize -m64 -Wno-decl $file
6  *
7  * check-output-ignore
8  * check-output-excludes: sext\\.
9  */
10