db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / and-extend.c
blobeb589236961618a5241e898719ef28c246547168
1 typedef unsigned short u16;
2 typedef short s16;
3 typedef unsigned int u32;
4 typedef int s32;
6 u32 ufoo(u32 x)
8 u16 i = ((u16)x) & 0x7fffU;
9 return i;
12 u32 sfoo(u32 x)
14 s16 i = ((s16)x) & 0x7fff;
15 return i;
19 * check-name: and-extend
20 * check-command: test-linearize -Wno-decl $file
22 * check-output-ignore
23 * check-output-excludes: trunc\\.
24 * check-output-excludes: zext\\.
25 * check-output-excludes: sext\\.
26 * check-output-contains: and\\.32.*0x7fff