1 unsigned
sat_add(unsigned i)2 sat_add (unsigned i)
3 {
4   unsigned ret = i + 1;
5   if (ret < i)
6     ret = i;
7   return ret;
8 }
9 
main()10 main ()
11 {
12   if (sat_add (~0U) != ~0U)
13     abort ();
14   exit (0);
15 }
16