>>241
符号なし整数の計算では、最大値の次が 0 で 0 の前が最大値というふうにラップしている
ものとして結果が必ずその型の範囲内に収まる、と規格で定められている。

ラップする場合を指してオーバーフローと言うかどうかは微妙なところ。