Paul Eggert <eggert@cs.ucla.edu> writes: > These don't look right, as INTERNAL_SIZE_T might not be wider than int, In which case, the values we're adding up won't overflow because memory is limited to an int-sized address space. > Also, if SUM is INT_MIN "Assumes ADD and SUM are positive."