Are the results of bitwise operations on signed integers defined?

by

For negative operands, << has undefined behavior and the result of >> is implementation-defined (usually as “arithmetic” right shift). << and >> are conceptually not bitwise operators. They’re arithmetic operators equivalent to multiplication or division by the appropriate power of two for the operands on which they’re well-defined.

As for the genuine bitwise operators ^, ~, |, and &, they operate on the bit representation of the value in the (possibly promoted) type of the operand. Their results are well-defined for each possible choice of signed representation (twos complement, ones complement, or sign-magnitude) but in the latter two cases it’s possible that the result will be a trap representation if the implementation treats the “negative zero” representation as a trap. Personally, I almost always use unsigned expressions with bitwise operators so that the result is 100% well-defined in terms of values rather than representations.

Finally, note that this answer as written may only apply to C. C and C++ are very different languages and while I don’t know C++ well, I understand it may differ in some of these areas from C…

More Related Contents:

  1. Bit manipulation, return 0 if x != 0, or nonzero otherwise
  2. What is Bit Masking?
  3. Operator precedence (bitwise ‘&’ lower than ‘==’)
  4. Getting each individual digit from a whole integer
  5. Casting float to int (bitwise) in C
  6. What does the statement if (counter & (1
  7. Bitwise ‘&’ operator
  8. Encoding int value as an IEEE-754 float (binary32)
  9. Why use the Bitwise-Shift operator for values in a C enum definition?
  10. How to get position of right most set bit in C
  11. Decimal to Binary
  12. Can you control what a bitwise right shift will fill in C?
  13. What is bit masking?
  14. MIPS program that implements the same algorithm in C
  15. Where is the header file on Linux? Why can’t I find ? [duplicate]
  16. What is the behavior of printing NULL with printf’s %s specifier?
  17. Post-increment on a dereferenced pointer?
  18. using scanf(“%d “) with a space after the %d
  19. Why sizeof(param_array) is the size of pointer?
  20. How to get the date and time values in a C program?
  21. Copying one structure to another
  22. sizeof with a type or variable
  23. How to use the addr2line command in Linux?
  24. Can code that will never be executed invoke undefined behavior?
  25. CPU TSC fetch operation especially in multicore-multi-processor environment
  26. Access a global static variable from another file in C
  27. x86_64 : is stack frame pointer almost useless?
  28. What’s sizeof(size_t) on 32-bit vs the various 64-bit data models?
  29. Check if a number is non zero using bitwise operators in C
  30. Why is the behavior of the modulo operator (%) different between C and Ruby for negative integers?

Leave a Comment