C integer overflow

by

Integer overflows are undefined behavior in C.

C says an expression involving integers overflows, if its result after the usual arithmetic conversions is of a signed typed and cannot be represented in the type of the result. Assignment and cast expressions are an exception as they are ruled by the integer conversions.

Expressions of unsigned type cannot overflow, they wrap, e. g., 0U - 1 is UINT_MAX.

Examples:

INT_MAX + 1    // integer overflow
UINT_MAX + 1   // no overflow, the resulting type is unsigned
(unsigned char) INT_MAX // no overflow, integer conversion occurs

Never let any integer expression overflows, modern compilers (like gcc) take advantage of integer overflows being undefined behavior to perform various types of optimizations.

For example:

a - 10 < 20

when a is of type int after promotion, the expression is reduced in gcc (when optimization are enabled) to:

a < 30

It takes advantage of the expression being undefined behavior when a is in the range INT_MIN + 10 - 1 to INT_MIN.

This optimization could not be done when a is unsigned int because if a is 0, then a - 10 has to be evaluated as UINT_MAX - 9 (no undefined behavior). Optimizing a - 10 < 20 to a < 30 would then lead to a different result than the required one when a is 0 to 9.

More Related Contents:

  1. Assignment makes pointer from integer without a cast and vice versa in c
  2. How to convert an int to string in C?
  3. Dividing 1/n always returns 0.0 [duplicate]
  4. Check if input is integer type in C
  5. Is there any way to compute the width of an integer type at compile-time?
  6. Catch and compute overflow during multiplication of two large integers
  7. How do I check if an integer is even or odd? [closed]
  8. How to convert integer to string in C? [duplicate]
  9. What do numbers using 0x notation mean?
  10. SIMD signed with unsigned multiplication for 64-bit * 64-bit to 128-bit
  11. Print an int in binary representation using C
  12. Question about C behaviour for unsigned integer underflow
  13. How do you store an arbitrarily large integer value in memory?
  14. C programming, why does this large array declaration produce a segmentation fault?
  15. Why do we define INT_MIN as -INT_MAX – 1? [duplicate]
  16. Finding the length of an integer in C
  17. How to handle arbitrarily large integers
  18. Best way to handle Integer overflow in C#?
  19. Generating a uniform distribution of INTEGERS in C
  20. Integer conversions(narrowing, widening), undefined behaviour
  21. Why does “memset(arr, -1, sizeof(arr)/sizeof(int))” not clear an integer array to -1?
  22. How can I convert an int to a string in C?
  23. Why is 248×248 the maximum bi dimensional array size I can declare?
  24. Is there any reason not to use fixed width integer types (e.g. uint8_t)?
  25. What happens when I assign long int to int in C?
  26. How would you set a variable to the largest number possible in C?
  27. C usual arithmetic conversions
  28. What’s the difference between “int” and “int_fast16_t”?
  29. Why it is different between -2147483648 and (int)-2147483648
  30. Can I compare int with size_t directly in C?

Leave a Comment