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