I was recently horrified to learn that there is no real consensus about what the terms “overflow” and “wraparound” mean in the C Standard, in particular, if unsigned integers were capable of overflow. I wrote the attached paper to clarify the use of these terms. Please let me know if you have any comments, as I need to submit this paper soon.
Categories