← Back to context

Comment by secondcoming

17 hours ago

Does C automatically wrap? I thought you need to pass `-fwrapv` to the compiler to ensure that.

Unsigned overflow wraps. Signed overflow is undefined behavior.

  • This distinction does not exist in K&R 2/e which documents ANSI C aka C89, but maybe it was added in a later version of the language (or didn't make it into the book)? According to K&R, all overflow is undefined.

    • I don't have my copy of K&R handy, but this distinction has existed since the initial codification. From C89:

        3.1.2.5 Types
      
        [...] A computation involving unsigned operands can never overflow, because a result that cannot be represented by the resulting unsigned integer type is reduced modulo the number that is one greater than the largest value that can be represented by the resulting unsigned integer type.
      

      Source: C89 (draft) at https://port70.net/~nsz/c/c89/c89-draft.txt

-fwrapv is for signed integer overflow not unsigned.

  • Yes, as unsigned overflow is fine by default. AFAIK the issue was originally that there were still machines that used ones complement for describing negative integers instead of the now customary twos complement.