[INT34-C. 負のビット数のシフトやオペランドのビット数以上のシフトを行わない][1]で説明されていますが、 > 右オペランドの値が負または格上げされた左オペランドのビット幅以上である時、シフト動作は未定義となる (「[未定義の動作51][2]」を参照 )。 Undefined Behavior; 未定義の動作とは、Implementation-Defined Behavior; 処理系定義の動作とは異なり、どのような結果が引き起こされても文句は言えません。 ただし、質問の`t <<= 20`は`t = t << 20`であり、`t`は一旦[Integer Promotion; 整数拡張][3]を受けます。そのため、20bit以下の処理系(MS-DOSなど)であれば未定義動作、20bitより大きいの処理系であれば問題ありません。 上記のようにややこしい話となるため、安全を考えればシフト演算で故意に溢れさせるのは避けるべき行為と言えます。 [1]: https://www.jpcert.or.jp/sc-rules/c-int34-c.html [2]: https://wiki.sei.cmu.edu/confluence/display/c/CC.+Undefined+Behavior#CC.UndefinedBehavior-ub_51 [3]: https://ja.wikipedia.org/wiki/%E6%B1%8E%E6%95%B4%E6%95%B0%E6%8B%A1%E5%BC%B5