db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / ext-trunc-smaller.c
blob194c98d7b64aef6b253775ce4f9dbec723faf615
1 char slt(short x)
3 return (int) x;
6 char ult(unsigned short x)
8 return (int) x;
12 * check-name: ext-trunc-smaller
13 * check-command: test-linearize -Wno-decl $file
15 * check-output-ignore
16 * check-output-excludes: sext\\.
17 * check-output-excludes: zext\\.