db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / trunc-mask-zext.c
blob9b604174685815a38f8f11a5808303afb3054090
1 unsigned long long foo(unsigned long long x)
3 return (((unsigned int) x) & 0x7ffU);
6 /*
7 * check-name: trunc-mask-zext
8 * check-command: test-linearize -Wno-decl $file
10 * check-output-ignore
11 * check-output-excludes: trunc\\.
12 * check-output-excludes: zext\\.