Cがsigned intのオーバーフローが未定義あるいは処理系依存なの、「高級アセンブラだから」というお約束の言い訳で考えると、「CPUによってはちゃんとラップアラウンドしないやつもあるのかもしれない？＞＜」と思えるけど、
でも、そう考えると「未定義じゃないunsigned intの方は、ちゃんとラップアラウンドしないCPUは存在しないの？＞＜；」 って謎になってくるから理由違う？＞＜；