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