On Thu, 19 Jul 2018, Joerg Schilling wrote: > Since the C++ people already think about making this to happen in ther next > standard, it seems that the C compilers may do something similar in the > future.
The latest version of the C++ proposal <http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0907r3.html> is clear that it does not change undefined overflow (while adding the new constraint to representations to reflect more or less universal existing practice in that regard). I quote: Status-quo If a signed operation would naturally produce a value that is not within the range of the result type, the behavior is undefined. The author had hoped to make this well-defined as wrapping (the operations produce the same value bits as for the corresponding unsigned type), but WG21 had strong resistance against this. -- Joseph S. Myers jos...@codesourcery.com