MNAの世界

ブログをリニューアルしました!コメント、リンク、ツイートなどはお気軽にどうぞ。

PC、技術系

気の利くコンパイラ

投稿日:2006年3月29日 更新日:

仕事でコードレビュー(C言語)をやっているとこんなコードを発見!

if(0 <= 変数名 <= 12) { ~ 処理 ~ }

この記述そのものに関しては、初心者が時々やる それほど珍しくは無い間違いですが、それよりも気になるのは しっかりコンパイルが通っていると言うことです。
そして、変換されたアセンブラコードを見ると この判定自体が取り除かれており、中の処理が必ず行われるようになっていたのです。

これはつまりこう言うことでしょうか。

「0 <= 変数名」が先に評価された場合、結果は 0 か 1。 つまり、「0 <= 12」も「1 <= 12」も必ず成立するために常に真となる。 よって、判定は取り除かれた。 「変数名 <= 12」を先に評価するとしても同様。

な、なるほど!
そう考えると文法的にも辻褄が合うような気がします。
でもこれってどう考えても意図した動作じゃないよな・・・

-PC、技術系


comment

リンクが多数含まれていると表示されないのでご注意ください。(スパム対策)

関連記事

no image

ビルド before 単体テスト

火を噴いた現場でひたすら単体テストをやっているのは以前お伝えした通りです。 単体テストをやるには当然ある単位でビルドを行う必要があります。 そのビルドの環境が各担当によってマチマチなんですよね。 必ず… 続きを読む

no image

PC死亡 入院篇

昨日の見なし交換で電源以外は全て同一店舗で買ったことになったこともあり、その店でマシンを見てもらうことにしました。 検証の術がほとんど無い状態なのでもうプロに頼るしかありません・・・ メモリテストから… 続きを読む

no image

玄箱 時刻校正導入

玄箱の時計はやたら精度が悪いらしく、1日で何分もずれてしまう。 これは鯖を運営する上で問題あるような気がする。 この状況を打開するべく、時刻校正をしてくれるNTPなるものを導入。 また、Linux に… 続きを読む

no image

続 玄箱 craaaaaaaaaaash!!!!!!!!

実は玄箱は通常の状態で使っていても止まることがあるらしい。 その場合はやはり電源ボタンも受け付けないとか。 てことはやはり熱に弱い可能性が高い!? あと、水冷にしる!との意見が。 それはそれで面白そう… 続きを読む

デジカメ FX700 購入

これまで使ってきたデジカメFX07が老朽化してきたのと、SDの接触がやたら悪くなっていて危険な状態だったのでマチアソビを目前にしたこのタイミングで買い換えて来ました! 買ったのはFX700。 どうせな… 続きを読む