[linux-users:94067] Re: コンパイラにより解析結果が異なる

[Haruhiko Okumura <okumura _at_ xxxxxxxxxxxxxxxxx>]

奥村＠松阪大です。

From: Satoru Kameoka <kameoka _at_ lambda.phys.tohoku.ac.jp>
Subject: [linux-users:94065] Re: コンパイラにより解析結果が異なる
Date: Wed, 17 Jul 2002 16:27:01 +0900
Message-ID: <20020717162645P.kameoka _at_ lambda.phys.tohoku.ac.jp>

kameoka> 亀岡です。
kameoka> 
kameoka> From: Haruhiko Okumura <okumura _at_ matsusaka-u.ac.jp>
kameoka> Subject: [linux-users:94048] Re: コンパイラにより解析結果が異なる
kameoka> Date: Tue, 16 Jul 2002 07:25:56 +0900
kameoka> Message-ID: <20020716.072546.71084355.okumura _at_ matsusaka-u.ac.jp>
kameoka> 
kameoka> > 奥村＠松阪大です。
kameoka> > 
kameoka> > 具体的なプログラムの中身が分からないと何とも言いようがないですが，まず
kameoka> > やってみることとしては，オプティマイズフラグ（-O2 といったもの）を外し
kameoka> > てみることでしょうか。
kameoka> > 
kameoka> 最適化を外してみると、それぞれ微妙に結果が変わったので、やはりコーディ
kameoka> ングに問題があるようですね。gcc-3.0.4だけは最適化しなくても同じ結果に
kameoka> なりました。

いえ，必ずしもコーディングに問題があるとは限りません。オプティマイズす
るとしないとでは途中を x86 の80ビットで計算するか64ビット double で計
算するか（格納するか，のほうが正しいですね）の違いがありうるので，結果
は一般に異なります。大幅に異なればコンパイラのオプティマイザのバグに引っ
掛かった可能性が大きく，小幅に異なるのは正常ですが，それがどれくらいか
は問題の性質によります。

-- 
Haruhiko Okumura <okumura _at_ matsusaka-u.ac.jp>
Matsusaka University, 1846 Kubo-cho, Matsusaka, 515-8511 Japan
http://www.matsusaka-u.ac.jp/~okumura/