Is signed integer overflow still undefined behavior in C++?

by

is still overflow of these types an undefined behavior?

Yes. Per Paragraph 5/4 of the C++11 Standard (regarding any expression in general):

If during the evaluation of an expression, the result is not mathematically defined or not in the range of
representable values for its type, the behavior is undefined. […]

The fact that a two’s complement representation is used for those signed types does not mean that arithmetic modulo 2^n is used when evaluating expressions of those types.

Concerning unsigned arithmetic, on the other hand, the Standard explicitly specifies that (Paragraph 3.9.1/4):

Unsigned integers, declared unsigned, shall obey the laws of arithmetic modulo 2^n where n is the number
of bits in the value representation of that particular size of integer

This means that the result of an unsigned arithmetic operation is always “mathematically defined“, and the result is always within the representable range; therefore, 5/4 does not apply. Footnote 46 explains this:

46) This implies that unsigned arithmetic does not 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.

More Related Contents:

  1. Has C++ standard changed with respect to the use of indeterminate values and undefined behavior in C++14?
  2. Why is unsigned integer overflow defined behavior but signed integer overflow isn’t?
  3. Optimizing away a “while(1);” in C++0x
  4. Detecting signed overflow in C/C++
  5. Why do constant expressions have an exclusion for undefined behavior?
  6. Is this infinite recursion UB?
  7. Are multiple mutations within initializer lists undefined behavior?
  8. In C++11, does `i += ++i + 1` exhibit undefined behavior?
  9. So why is i = ++i + 1 well-defined in C++11?
  10. Program behaving strangely on online IDEs
  11. Why is locking a std::mutex twice ‘Undefined Behaviour’?
  12. How disastrous is integer overflow in C++?
  13. reinterpret_cast from object to first member
  14. In which versions of the C++ standard does “(i+=10)+=10” have undefined behaviour?
  15. Which kind of pointer do I use when?
  16. May I treat a 2D array as a contiguous 1D array?
  17. Enforcing statement order in C++
  18. Range-for-loops and std::vector
  19. Split a string using C++11
  20. Capturing perfectly-forwarded variable in lambda
  21. SFINAE works differently in cases of type and non-type template parameters
  22. C++ local variable destruction order
  23. Unique_ptr and forward declaration
  24. C++11 initializer list fails – but only on lists of length 2
  25. `static constexpr` function called in a constant expression is…an error?
  26. Classes with both template and non-template conversion operators in the condition of switch statement
  27. Why can’t I use with g++ 4.9.2?
  28. C++11 Change `auto` Lambda to a different Lambda?
  29. C++11 cross compiler/standard library random distribution reproducibility
  30. get part of std::tuple

Leave a Comment