Перенос проги из Паскаля в Delphi, ошибка 216

[PhVG]

Помогите! Не могу заставить работать на Delphi прогу. На TP7 работает без проблем, в Delphi 7 и во FreePascal выдает runtime error 216 (ошибка доступа к памяти). В проге используются динамические списки.

Вылетает вот на этой процедуре:

procedure sum1(p1,p2:u; var p_rez:u);
var
flag,i,t3,c1,max_stepen:integer;
start:u;
begin
c1:=1;
flag:=0;
if p1^.data.stepen>p2^.data.stepen then
max_stepen:=p1^.data.stepen
else
if p1^.data.stepen<p2^.data.stepen then
max_stepen:=p2^.data.stepen
else
max_stepen:=p1^.data.stepen;

for i:=0 to max_stepen do
begin
t3:=0;

if ((max_stepen-i)=p1^.data.stepen)and(p1<>nil) then
begin
t3:=t3+p1^.data.coeff;
p1:=p1^.next;

end;
if ((max_stepen-i)=p2^.data.stepen)and(p2<>nil) then
begin
t3:=t3+p2^.data.coeff;
p2:=p2^.next;

end;
if (t3<>0) then
begin
if flag=0 then
begin
new(p_rez);p_rez^.next:=nil;start:= p_rez;
p_rez^.data.coeff:=t3;
p_rez^.data.stepen:=max_stepen-i;
flag:=1;

end
else
begin
new(p_rez^.next);
p_rez:=p_rez^.next;
p_rez^.next:=nil;
p_rez^.data.coeff:=t3;
p_rez^.data.stepen:=max_stepen-i;

end;
end;
end;{End For}

p_rez:=start;
end;

[Sibedir]

1. А что за тип такой u. Это я так понимаю указатель на структуру, но какую?
2. Чтобы не было недоразумений, поясните логику суммирования.
3. Коль скоро речь идёт о динамических списках и ошибки доступа к памяти, то проблема может крыться вовсе не в самой процедуре sum1. Важно не только то, как обрабатываются динамические данные, но и как они создаются и инициализируются.
4. При работе с указателями проверки ссылок (p1 <> nil) нужно производить в первую очередь.

...
    if (p1 <> nil) and ((max_stepen - i) = p1^.data.stepen) then begin
...

И ещё желательно выполнить такие проверки в самом начале.
5.

...
  flag := 0;
  if p1^.data.stepen < p2^.data.stepen then
    max_stepen := p2^.data.stepen
  else
    max_stepen := p1^.data.stepen;
...

6. Если в теле процедуры есть

New(p_rez);

, то процедуру, во избежание утечек памяти, лучше оформить в виде функции. Как-то так:

function sum1 (p1, p2: u): u;
var
...
  start, p_rez: u;
begin
...
  Result := start;
end;

7. c1 ни где не используется.

[PhVG]

Спасибо за подсказки, буду пробовать, о результатах напишу.
Вот сама прога, в TP7 она работает: