>>931
タダで手に入るn3337.pdfの§5.8によると確かに
 - 符号付整数の左シフトの結果は representable in the result type (値域内)でない場合未定義動作
 - 符号付整数の右シフトの結果は処理系依存
と書いてあったわスマン;

ちな漏れの認識では{処理系依存}⊂{未定義動作}
根拠はJISの未定義動作の定義による…