delphi – 组合匿名和嵌套过程时错误的代码

procedure Run(Proc: TProc);
begin
  Proc;
end;

procedure Test;
begin
  Run(
    procedure
    var
      S: PChar;

      procedure Nested;
      begin
        Run(
          procedure
          begin
          end);
        S := 'Hello,world!';
      end;

    begin
      Run(
        procedure
        begin
          S := 'Hello';
        end);
      Nested;
      ShowMessage(S);
    end);
end;

对我来说会发生什么呢S：=’你好，世界！存储在错误的位置。因此，引发访问冲突，或ShowMessage(S)显示“Hello”(有时候，释放用于实现匿名过程的对象时会引发访问冲突)。

我使用的是Delphi XE，所有更新都安装了。

我怎么知道这会造成什么问题？我知道如何重写我的代码以避免匿名过程，但我无法确定哪些情况导致错误的代码，所以我不知道在哪里避免它们。

如果这是在Delphi的后期版本中修复的，那么有趣的是，在这一点上升级不是一个选择。

在QC上，最近的报告我可以找到类似的#91876，但是在Delphi XE中解决了。

更新：

根据AlexSC的评论，稍作修改：

...

      procedure Nested;
      begin
        Run(
          procedure
          begin
            S := S;
          end);
        S := 'Hello,world!';
      end;

...

工作。

生成的机器代码为

S := 'Hello,world!';

在失败的程序是

ScratchForm.pas.44: S := 'Hello,world!';
004BD971 B89CD94B00       mov eax,$004bd99c
004BD976 894524           mov [ebp+$24],eax

而正确的版本是

ScratchForm.pas.45: S := 'Hello,world!';
004BD981 B8B0D94B00       mov eax,$004bd9b0
004BD986 8B5508           mov edx,[ebp+$08]
004BD989 8B52FC           mov edx,[edx-$04]
004BD98C 89420C           mov [edx+$0c],eax

失败的程序中生成的代码没有看到S被移动到编译器生成的类，[ebp $ 24]是如何访问嵌套方法的外部局部变量如何访问局部变量。