動作未定義です。
Undefined behavior can result in time travel (among other things, but time travel is the funkiest)
未定義動作はタイムトラベルを引き起こす(他にもいろいろあるけど、タイムトラベルが一番ぶっ飛んでる)
が参考になるかもしれません。例えば
When undefined behavior is invoked, anything is possible. For example, a variable can be both true and false.
未定義動作が発動した場合、何でもありだ。例えば、変数は同時にtrueでもfalseでもありえる。
とのことです。
動作未定義の変数が例えどんな値であっても質問での式の値は真になると思いますが、この場合の式の一部分の動作未定義が全体に波及する理由または根拠はなんですか?
Undefined, unspecified and implementation-defined behaviorから引用します。これ自体もC++規格からの引用だそうです。
Permissible undefined behavior ranges from ignoring the situation completely with unpredictable results, to behaving during translation or program execution in a documented manner characteristic of the environment (with or without the issuance of a diagnostic message), to terminating a translationterminating a translation or execution (with the issuance of a diagnostic message).
問題このように言語仕様はコンパイルエラーも認めています。「もしある実装がコンパイルエラーが発生しなかったとしたらどのような結果になるか?」と仮定した時点で言語仕様から離れて具体的な実装についての議論となります。
BLUEPIXYさんは言語仕様についての議論と具体的実装についての議論の混同が多々見られます(その1、その2)。まずはBLUEPIXYさん自身が言語仕様について知りたいのか具体的実装について知りたいのかをしっかりと自覚してください。
その上で、問題個所を完全に無視することも認められています。つまりn < 0
がTRUE / FALSEどちらかを返すことすら保証されておらず、コンパイル時警告無しにdo-while
ループを削除することもあり得ます。
Undefined behavior can result in time travel (among other things, but time travel is the funkiest)
未定義動作はタイムトラベルを引き起こす(他にもいろいろあるけど、タイムトラベルが一番ぶっ飛んでる)
が参考になるかもしれません。例えば
When undefined behavior is invoked, anything is possible. For example, a variable can be both true and false.
未定義動作が発動した場合、何でもありだ。例えば、変数は同時にtrueでもfalseでもありえる。
とのことです。