1 #define ABORT() do { __builtin_printf("assert.\n");  __builtin_abort (); }while(0)
2 int f(int a) __attribute__((noinline));
f(int a)3 int f(int a)
4 {
5   int fem_key_src;
6   int D2930 = a & 4294967291;
7   fem_key_src = a == 6 ? 0 : 15;
8   fem_key_src = D2930 != 1 ? fem_key_src : 0;
9   return fem_key_src;
10 }
11 
main(void)12 int main(void)
13 {
14   if (f(0) != 15)
15     ABORT ();
16   if (f(1) != 0)
17     ABORT ();
18   if (f(6) != 0)
19     ABORT ();
20   if (f(5) != 0)
21     ABORT ();
22   if (f(15) != 15)
23     ABORT ();
24   return 0;
25 }
26