db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / zext-asr.c
blob5f235ad8061aefa04c21f413544b6c26be7cf918
1 unsigned short foo(unsigned short a)
3 return a >> 16;
6 /*
7 * check-name: zext-asr
8 * check-command: test-linearize -Wno-decl $file
10 * check-output-ignore
11 * check-output-contains: ret\\..*\\$0
12 * check-output-excludes: asr\\.