modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/compile/pr42716.c (about)

     1  static short foo (long long si1, short si2)
     2  {
     3    return si1 > 0 && si2 > 0 || si1 < 0
     4        && si2 < 0 && si1 < 1 - si2 ? : si1 + si2;
     5  }
     6  
     7  int g_13;
     8  unsigned g_17;
     9  
    10  int safe (int, int);
    11  
    12  void bar (short p_51, short * p_52)
    13  {
    14    int *const l_55 = &g_13;
    15    if (safe (*p_52, g_13 != foo (*p_52 & *l_55 == g_13 && g_17 >= 1, 0)))
    16      {
    17      }
    18  }