コンパイラの最適化の謎

解決

take 2020-03-17 07:00:11 No: 148643 IP: 192.*.*.*

コンパイル時に最適化はいつもチェックを外しているのですが
それでも下記のソースが最適化？により正常に機能しません。
※関数の中は簡略化しています。

関数が正常に呼ばれれば iは 2なのですが 1が返ります。
最適化の有無に関係無く

True と or を取る場合は左式で結果が確定なので
関数はスルーされてしまうのでしょうか？

もちろん
f := DelphiTest(i) or f;
に変更すれば動作します。

そういうものナノでしょうか？

環境 Windows10 Delphi2007

procedure TForm1.Button1Click(Sender: TObject);
  function DelphiTest(var i : Integer) : Boolean;
  begin
    i := i + 1;
    result := true;
  end;
var
  f : Boolean;
  i : Integer;
begin
  i := 0;
  f := False;
  f := f or DelphiTest(i);
  f := f or DelphiTest(i);
  //
end;

編集削除

HFUKUSHI 2020-03-17 10:21:05 No: 148644 IP: 192.*.*.*

これはショートサーキット評価によるものです。
1回目の f := f or DelphiTest(i); では右辺のfがFalseですのでDelphiTestを呼び出さないと右辺全体が確定しません。しかし2回目は右辺のfがTrueですのでこの時点で右辺全体がTrueに確定しますのでDelphiTestを呼び出しません。

詳細は
http://docs.embarcadero.com/products/rad_studio/radstudio2007/RS2007_helpupdates/HUpdate4/JA/html/devcommon/expressions_xml.html
の完全な論理評価とショートサーキット論理評価をご覧ください。

編集削除

take 2020-03-17 23:12:42 No: 148645 IP: 192.*.*.*

この現象はショートカット評価だったのですね。
{$B+} 指令をコードに追加
で完全評価になるようですが
今後のバグにも繋がりかねませんのでフラグの演算と関数呼び出しは別々にしたいと思います。

HFUKUSHI さん
ありがとうございました。

編集削除