modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/20141022-1.c (about)

     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  }