> *Any conforming compiler is free to break code that relies on this.* Ah, but, ...

		kazinator on May 31, 2018 \| parent \| context \| favorite \| on: Signed Integers Are Two’s Complement > Any conforming compiler is free to break code that relies on this. Ah, but, for example, __attribute__((packed)) is undefined behavior; is the compiler free to break that? This "free to break" is a juvenile fiction based on the idea that the only document that applies is ISO C; there is no other contract or promise between user and implementor.

GCC documentation is another such contract, which provides -fwrapv. If you want -fwrapv, use -fwrapv.