> オーバーフローが発生する値の時、前者は挙動未定義で、
> 後者は正しく動くと思いますが、

aやbが変数ではなく、その型であふれるような定数の場合のことか?
そうでなくて変数なら、前者も後者もオーヴァーフローは発生しないぞ。

アンダーフローのことか?