db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / ext-trunc-same.c
blob2bfcf0304742f96604730b78fa57e98b99845910
1 short seq(short x)
3 return (int) x;
6 short ueq(unsigned short x)
8 return (int) x;
12 * check-name: ext-trunc-same
13 * check-command: test-linearize -Wno-decl $file
15 * check-output-ignore
16 * check-output-excludes: trunc\\.
17 * check-output-excludes: sext\\.
18 * check-output-excludes: zext\\.