db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / lsr-to-asr.c
blob26927739642974b61e0f29511782e09b1ba19f10
1 int lsr_to_asr24(int x)
3 return ((signed char)(((unsigned)x) >> 24)) == (x >> 24);
7 struct s {
8 int :30;
9 signed int f:2;
12 int lsr_to_asr30(int a)
14 union {
15 int i;
16 struct s s;
17 } u = { .i = a };
18 return u.s.f == (a >> 30);
22 * check-name: lsr-to-asr
23 * check-command: test-linearize -Wno-decl $file
25 * check-output-ignore
26 * check-output-returns: 1