1 /* PR rtl-optimization/90311 */ 2 3 int a, b; 4 5 int main()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 } 17