...
This code assumes that the implementation uses two's complement representation. This assumption is commonly true, but not guaranteed by the standard.
This solution code sample also violates INT14-A. Avoid performing bitwise and arithmetic operations on the same data.
...