Why do we define INT_MIN as -INT_MAX – 1? [duplicate]

by

Because 2147483648 is a long value as it does not fit in an int (in common system with 32-bit int and 64-bit long, on system with 32-bit long it is of type long long). So -2147483648 is of type long, not int.

Remember in C, an unsuffixed decimal integer constant is of the first type int, long or long long where it can be represented.

Also in C -2147483648 is not a integer constant; 2147483648 is an integer constant. -2147483648 is an expression formed with the unary operator - and the integer constant 2147483648.

EDIT: if you are not convinced -2147483648 is not of type int (some people in the comments still seem to doubt), you can try to print this:

printf("%zu %zu\n", sizeof INT_MIN, sizeof -2147483648);

You will most likely end up with:

4 8

on common 32 and 64-bit systems.

Also to follow a comment, I’m talking about recent C Standard: use c99 or c11 dialect to test this. c89 rules for decimal integer constant are different: -2147483648 is of type unsigned long in c89. Indeed in c89 (it is different in c99, see above), a unsuffixed decimal integer constant is of type int, long or unsigned long.

EDIT2: @WhozCraig added another example (but for C++) to show -2147483648 is not of type int.

The following example, though in C++, drives home this point. It was compiled with a 32-bit architecture g++. Note the type info gathered from the passed parameter deduction:

#include <iostream>
#include <climits>

template<typename T>
void foo(T value)
{
    std::cout << __PRETTY_FUNCTION__ << '\n';
    std::cout << value << '\n';
}

int main()
{
    foo(-2147483648);
    foo(INT_MIN);
    return 0;
}

Output

void foo(T) [T = long long]
-2147483648
void foo(T) [T = int]
-2147483648

More Related Contents:

  1. Is char signed or unsigned by default?
  2. Question about C behaviour for unsigned integer underflow
  3. Assignment makes pointer from integer without a cast and vice versa in c
  4. How to convert an int to string in C?
  5. What is time_t ultimately a typedef to?
  6. Are all data pointers the same size in one platform for all data types? [duplicate]
  7. Where in memory are my variables stored in C?
  8. Dividing 1/n always returns 0.0 [duplicate]
  9. Check if input is integer type in C
  10. How do I check if an integer is even or odd? [closed]
  11. Type conversion – unsigned to signed int/char
  12. How to convert integer to string in C? [duplicate]
  13. How do I check if a variable is of a certain type (compare two types) in C?
  14. SIMD signed with unsigned multiplication for 64-bit * 64-bit to 128-bit
  15. Print an int in binary representation using C
  16. How to verify if a void pointer (void *) is one of two data types?
  17. Any guaranteed minimum sizes for types in C?
  18. C programming, why does this large array declaration produce a segmentation fault?
  19. how to check if the input is a number or not in C?
  20. Difference between long and int data types [duplicate]
  21. Difference between _Bool and bool types in C?
  22. Can a pointer (address) ever be negative?
  23. plain C: opening a directory with fopen()
  24. How to use C library created by MATLAB Coder codegen in C program with emxArray arguments?
  25. Why / when to use `intptr_t` for type-casting in C?
  26. Integer conversions(narrowing, widening), undefined behaviour
  27. Why is 248×248 the maximum bi dimensional array size I can declare?
  28. What happens when I assign long int to int in C?
  29. C usual arithmetic conversions
  30. Is ‘long unsigned’ as valid as ‘unsigned long’ in C?

Leave a Comment