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