Freemem Опции

[ангел]

Ошибка у меня возникает при вызове этой процедуры...
Либо указатель пустой или число освобождамых байтов выходит за границы кучи ???
вот код:

procedure Push(E:ElementType;var S:Stack);
var
P:pStackElem;
begin
	 P:=new(pStackElem);
	 GetMem(P^.Elem,SizeOf(ElementType));
	 Move(E,P^.Elem,SizeOf(ElementType));
	 P^.Next:=S.Top;
	 S.Top:=P;
	 S.Size:=S.Size+Sizeof(ElementType)+SizeOf(pStackElem)*2+SizeOf(Pointer);
end;

procedure Pop(S:Stack;var E:ElementType);
var top:pStackElem;
begin
	 if S.Top<>nil then
	 begin
	 Move(S.Top^.Elem,E,SizeOf(ElementType));
	 top:=S.Top^.Next;
		 FreeMem(S.Top^.Elem,SizeOf(ElementType));{Вот здесь и возникает ОШИБКА!!!}
	 dispose(S.Top);
	 S.Top:=top;
	 S.Size:=S.Size-Sizeof(ElementType)-SizeOf(pStackElem)*2-SizeOf(Pointer);
	 end
end;

[volvo]

А почему нельзя просто

Потому что это будет "неправильный мед" (С) Винни-Пух... Стек содержит указатель, который в свою очередь содержит адрес выделенной памяти, а насколько я понимаю автора, ему нужен именно размер области памяти, занимаемый самой структурой + той областью, где хранятся данные; то есть, насколько уменьшилось количество доступной памяти в куче при размещении в стеке очередного элемента...