gcc/testsuite/gcc.c-torture/execute/20141022-1.c

   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 }