1  /* { dg-do run } */
       2  /* { dg-require-effective-target int128 } */
       3  
       4  extern void abort (void);
       5  
       6  float __attribute__((noinline))
       7  f (__uint128_t x)
       8  {
       9    return x + 1;
      10  }
      11  
      12  int
      13  main (void)
      14  {
      15    if (f (0xffffffffu) == 0)
      16      abort ();
      17    return 0;
      18  }