Question about C behaviour for unsigned integer underflow

by

§6.2.5, paragraph 9:

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
type.

Edit:

Sorry, wrong reference, but the result is still pinned down. The correct reference is §6.3.1.3 (signed and unsigned integer conversion):

if the new type is
unsigned, the value is converted by
repeatedly adding or subtracting one
more than the maximum value that can
be represented in the new type until
the value is in the range of the new
type.

So yes, x == UINT_MAX.

More Related Contents:

  1. Catch and compute overflow during multiplication of two large integers
  2. Why do we define INT_MIN as -INT_MAX – 1? [duplicate]
  3. How I can correct my c code?
  4. Can I change the datatype of previously declared variable in C?
  5. What does a type followed by _t (underscore-t) represent?
  6. Objective-C : BOOL vs bool
  7. Is there any way to compute the width of an integer type at compile-time?
  8. What is the correct type for array indexes in C?
  9. Difference between signed / unsigned char [duplicate]
  10. Addition of two chars produces int
  11. Wrap around explanation for signed and unsigned variables in C?
  12. In C, what is the correct syntax for declaring pointers?
  13. Why doesn’t C have unsigned floats?
  14. Is void a data type in C?
  15. Finding the length of an integer in C
  16. Type to use to represent a byte in ANSI (C89/90) C?
  17. How to handle arbitrarily large integers
  18. min and max value of data type in C
  19. Where to find the complete definition of off_t type?
  20. Generating a uniform distribution of INTEGERS in C
  21. What does -fwrapv do?
  22. Checking for underflow/overflow in C++?
  23. What primitive data type is time_t? [duplicate]
  24. What kind of C11 data type is an array according to the AMD64 ABI
  25. Why does the smallest int, −2147483648, have type ‘long’? [duplicate]
  26. What’s the difference between “int” and “int_fast16_t”?
  27. Returning function pointer type
  28. How to check for signed integer overflow in C without undefined behaviour?
  29. What defines an opaque type in C, and when are they necessary and/or useful?
  30. Can I compare int with size_t directly in C?

Leave a Comment