The Delphi Bug List

procedure TForm1.Button1Click(Sender: TObject);
label 1;
  procedure test;
  begin
    1: Beep;
  end;
begin
  goto 1;
end;

ラベルの宣言，マークされた文，および goto 文は，同じブロックに存在していなければなりません（ブロックとスコープを参照）。このため，ジャンプによって手続きや関数の中に入ったり手続きや関数から出たりすることはできません。
(訳注: 日本語版 Delphi 5 のヘルプから原文に該当する部分を引用)

最適化によって label ステートメントはローカルになっているので、上のステートメントは正当なものです。一貫性のためには次のコードも失敗するべきでしょう：

procedure TForm1.Button1Click(Sender: TObject);
  procedure test;
  label 1;
  begin
    1: Beep;
  end;
begin
  goto 1;
end;
            

いいえ、その"goto"は、そのラベルがプロシージャ"test"の内部で宣言されているためにコンパイルを通らないのです。

このバグは、ラベルを宣言し、ネストしたプロシージャ内でそのラベルを使用し、そのプロシージャの外側からそのラベルへの goto によるジャンプをコンパイラが許してしまっていることです。

Borland は、本質的に goto のスコープをスタック内に制限しているのではないでしょうか？この場合、埋め込まれたプロシージャは新しいスタックフレームを生成しなので、この goto は正しいと思います(所有しているプロシージャの変数は埋め込まれたプロシージャでも有効であるという事実から、私はこの結論に達しました)。

あなたの推測は正しくありません。ネストされたプロシージャでも、引数にレジスタが利用できない場合にはすぐに完全なスタックフレームが作成されることに注意してください。実際には、ローカルプロシージャは上位のプロシージャレベルの全ての変数にアクセス出来るように、上位のプロシージャの変数を指す隠されたポインタ引数を取得します。

もしスタックが使われないとしたら、プロシージャは呼び出し元に戻ったり、別のネストした(あるいはさらにネストした)プロシージャをコールしたり、再起呼び出しを行ったり出来ないでしょう。状況はとても明確です。goto は引数を持たずスタックに何も置きませんが、(ネストされているかどうかを問わず)プロシージの終了では常にスタックからなんらかの内容(少なくとも戻りアドレス)が pop されます。このため、これは本当にバグです。上のサンプルで、"Test"から"Sender"にアクセスしようとすると、不正なポインタを取得してしまうか、(SenderがNILなら)たいていはアクセス違反になってしまう事に注意してください。