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