オーバーフローチェックをONにすると番地がずれる (ID:149611)

名前

ホームページ(ブログ、Twitterなど)のURL (省略可)

本文 お世話になります、OTAと申します。 Win10 Pro x64環境にてDelphi 10.2を使用しているのですが、32ビット用アプリケーションで不可解なコードが生成されて頭をかかえています。 何か思いつく方は、お助け頂ければ幸いです。 以下、手順です。 プロジェクトオプションのオーバーフローのチェックをONにします(※OFFだと発生しません)。 Formに1つボタンを置き、下記のようなコードを作成して実行すると、ボタンクリック時に'Err'が表示されます。 type TTotalRec = packed record Enabled : Boolean; Value : Double; public procedure SetValue( const num : Double ); end; procedure TTotalRec.SetValue( const num : Double ); begin Value := num; Enabled := True; end; procedure TForm8.Button1Click(Sender: TObject); var i, deg : Integer; trec : array[0..0] of TTotalRec; begin FillChar( trec, SizeOf( trec ), #0 ); i := 0; deg := 45; trec[i].SetValue( DegToRad( deg ) ); if ( trec[i].Enabled = False ) or ( trec[i].Value <> DegToRad( deg ) ) then begin Caption := 'Err'; end; end; 私の期待するところは、Captionに'Err'とは表示されないことです。 DelphiのCPU Windowを見る限り、TTotalRec.SetValueが呼ばれた時Selfの番地が正しくないようです。 下記、005D4EBCの行にあるようにtrecの番地は[ebp-$15]だと思うのですが、 Unit8.pas.45: FillChar( trec, SizeOf( trec ), #0 ); 005D4EBC 8D45EB lea eax,[ebp-$15] 005D4EBF 33C9 xor ecx,ecx 005D4EC1 BA09000000 mov edx,$00000009 005D4EC6 E80129E3FF call @FillChar 下記の005D4F14の行では、[ebp+eax-$25]をeaxにセットしてTTotalRec.SetValueがCallされています。 この時eaxは0なので最終的に[ebp-$25]となり、どうやら番地を$10ほど引きすぎています。 (実際、call TTotalRec.SetValueの直前で、eaxに[ebp$-15]の値をセットしてやると'Err'は表示されませんでした) Unit8.pas.48: trec[i].SetValue( DegToRad( deg ) ); (省略) 005D4F08 9B wait 005D4F09 6B45F809 imul eax,dword ptr [ebp-$08],$09 005D4F0D 7105 jno $005d4f14 005D4F0F E8982CE3FF call @IntOver 005D4F14 8D4405DB lea eax,[ebp+eax-$25] 005D4F18 E86FFFFFFF call TTotalRec.SetValue コンパイラの不具合のようにも見えますが、私は何かまずい組み方、または勘違いをしているでしょうか。