1  /* PR debug/103808 */
       2  /* { dg-do compile { target int128 } } */
       3  /* { dg-options "-fcompare-debug -O2 -ftrapv" } */
       4  
       5  void
       6  foo (__int128 x, int y)
       7  {
       8    for (;;)
       9      {
      10        __int128 a, b;
      11  
      12        x |= !!y;
      13        a = x + 1;
      14        b = y ? ++y : ++x;
      15        y = a < b;
      16        asm ("" : "+r" (y));
      17        if (x >> 2)
      18          y *= 2;
      19  
      20        if (y == b)
      21          __builtin_unreachable ();
      22      }
      23  }