Смешной баг dispose()

[runewalsh]

Уже зарепортил, но правда же смешно.

Код: Выделить всё

{$mode objfpc} {$h+}
function CreateString: pString;
begin
    writeln('Создание строки');
    new(result);
end;

begin
    dispose(CreateString); // печатает «Создание строки» дважды
end.

Ассемблерный листинг выглядит так, будто когда dispose управляемого типа разделяется на Finalize и FreeMem, обе перевычисляют аргумент.

[zub]

>>но правда же смешно
Пока такое ищешь уревешся, а потом, да, смешно

[скалогрыз]

интересно да. глюк только для managed type, и их содержащих

Код: Выделить всё

{$mode objfpc} {$h+}
type
  PRec = ^TRec;
  TRec = record
    s: string; // можно заменить на "array of byte" - глюк останется
               // но если поменять на integer, то работает норм.
  end;
 

function CreateString: PRec;
begin
    writeln('Создание строки');
    new(result);
end;

begin
    dispose(CreateString); // печатает «Создание строки» дважды
end.