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