1#define ABORT() do { __builtin_printf("assert.\n");  __builtin_abort (); }while(0)
2int f(int a) __attribute__((noinline));
3int 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
12int 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