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