1  /* PR rtl-optimization/90311 */
       2  
       3  int a, b;
       4  
       5  int
       6  main ()
       7  {
       8    unsigned long long x;
       9    unsigned int c;
      10    __builtin_add_overflow ((unsigned char) a, b, &c);
      11    b -= c < (unsigned char) a;
      12    x = b;
      13    if (x)
      14      __builtin_abort ();
      15    return 0;
      16  }