Unlösbares Problem?

[hboy]

Delphi-Quellcode:

type
  TTestArray = Array of Byte;
  PTestArray = ^TTestArray;

procedure TForm1.Button1Click(Sender: TObject);
var
  q : PTestArray;
begin
  q^[10] := 1;
end;

Zugegebenermaßen ist das etwas weit hergeholt, aber hier kommt gleich eine handfeste Zugriffsverletzung. Nicht, dass der code einen Sinn hätte, aber er zeigt zumindest in Delphi 7, dass die Bereichsprüfung erst nach dem Anlegen eines Feldes zu greifen scheint. Sobald Speicher dafür reserviert oder ein anderes Feld zugewiesen wurde, kommen range check - Fehler.