1  /* { dg-do compile } */
       2  /* { dg-options "-O2" }  */
       3  
       4  extern void overflow_handler ();
       5  
       6  unsigned __int128 overflow_add (unsigned __int128 x, unsigned __int128 y)
       7  {
       8    unsigned __int128 r;
       9  
      10    int ovr = __builtin_add_overflow (x, y, &r);
      11    if (ovr)
      12      overflow_handler ();
      13  
      14    return r;
      15  }
      16  
      17  /* { dg-final { scan-assembler "adds" } } */
      18  /* { dg-final { scan-assembler "adcs" } } */