>>719
符号付き右シフトの前に、左シフトでオーバーフローする可能性がある。
未定義動作。そこまで気にするなら716のような方法でやるんじゃないか？
716のコードはなんか間違っているような気がするけど。

>>722
規格を読むことを勧める。