Seltsames Speicherleak-Problem mit Records in Verbindung mit Arrays

[s.h.a.r.k]

Nachdem wir gerade eh schon so viele schöne Record-Threads am laufen haben, habe ich mir gedacht, ich programmiere einfach mal eine Anwendung, welches sich mit Speicherleaks beschäftigt, die bei der Benutzung von Records auftreten Hier mal ein wenig Code:

Delphi-Quellcode:

type
  TDynIntArray = array of Integer;
  TStatIntArray = array[0..1] of Integer;
var
  Tmp : TStatIntArray;
  //Tmp : TDynIntArray;
  //Tmp : TArray<Integer>;
begin
  ReportMemoryLeaksOnShutdown := True;
  try
    // Set up a array with two elements
    //SetLength(Tmp, 2); // <- Für dyn. Arrays entkommentieren!
    Tmp[0] := 10;
    Tmp[1] := 3;

    // Diese Zeile liefert kein Speicherleak
    //TValue.From<Integer>(6).ToString();

    // Egal welcher dieser Zeilen aktiviert wird -> Speicherleak.
    // Darunter findet sich eine Beispielmeldung von FastMM4.
    Writeln( TValue.From<TStatIntArray>(Tmp).ToString() );
    //Writeln( TValue.From<TDynIntArray>(Tmp).ToString() );
    //Writeln( TValue.From<TArray<Integer>>(Tmp).ToString() );

    (*
    ---------------------------
    Project1.exe: Memory Leak Detected
    ---------------------------
    This application has leaked memory. The small block leaks are (excluding expected leaks registered by pointer):

    5 - 12 bytes: Unknown x 1
    13 - 20 bytes: Unknown x 1
    21 - 36 bytes: TValueDataImpl x 1
    *)
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;
  Readln;
end.

Kann mir jemand erklären, warum Delphi nicht erkennt, dass hier was selbstständig aufgeräumt werden muss?

Dieser Code (leicht gekürzt) hingegen funktioniert ohne Probleme und liefert keinerlei Speicherleak:

Delphi-Quellcode:

type
  TStatIntArray = array[0..1] of Integer;
var
  Tmp : TStatIntArray;
begin
    { ... }
    Tmp[0] := 10;
    Tmp[1] := 3;

    v := TValue.From<TStatIntArray>(Tmp);
    Writeln(v.ToString());
    { ... }
end.

Daher gehe ich mal davon aus, dass Delphi Probleme mit der Verwaltung der Anzahl der Zeiger, die auf den entsprechenden Record verweisen, hat. Oder warum gibt das sonst Probleme?