Непонятное поведение алгоритма

[master_root]

вот код:

{функция возрощает строку, которая содержит самую длиную последовательность,
 которая повторяется в массиве N раз}
function GetMaxSeq(arr: array of integer; N: integer): string;
type
  RmaxM = Record
    index: integer;// i-индекс, с которого начинается в массиве очередная последовательность
    length: integer;// j-длина последовательности
  end;
var
  maxM: RmaxM;
  i,j,z,j1,z1: integer;
  M: integer;//число повторений последовательности
  eq: boolean;
  tmp_result: string;//строка,в которой формируется результат функции
begin
{инициализация переменных - присваивание начальных значений}
  maxM.index:=0;
  maxM.length:=1;
  tmp_result:='';
  eq:=false;
  for i := 1 to Length(arr) do//перебор всех возможных длин в массиве
  begin
    M:=1;
    j:=0;
    {поиск}
    repeat// j изменение отсчётного индекса посделовательности
      z:=0;
      repeat//z изменение индекса последовательности с которой сравнивается текущая последовательность
        if z<>j then//если индексы не совпадают то сравниваем соответствующие последовательности
        begin
          z1:=z;
          for j1 := j to i do//перебор элементов в последовательностях, которые сравниваются
          begin
            if arr[j1]=arr[z1] then//сравнение элементов в последовательностях
            begin
              eq:=true;
              z1:=z1+1;
            end
            else
            begin
              eq:=false;
              z1:=z1+1;
              break;
            end;
          end;
          if eq = true then M:=M+1;//если все элементы совпали в последовательностях, то увеличиваем счётчик вхождения
        end
        else
        z:=z+1;
        until z=Length(arr)-i;
        if M=N then//если счётчик вхождений совпадает с нужным числом вхождений, то
        begin
          if maxM.length<i then//и если длина последовательности больше текущей, то
          begin
            //записываем параметры новой более длинной последовательности
            maxM.length:=i;
            maxM.index:=j;
          end;
        end;
    until j=Length(arr)-i;
  end;
{формируем результат в виде строки, которая содержит элементы
самой длиной последовательности}
  for i:=maxM.index to maxM.index+maxM.length do
    tmp_result:=tmp_result+inttostr(arr[i]);
  result:=tmp_result;//вывод результата
end;

при прогоне программы пошагово после сравнения:

 if arr[j1]=arr[z1] then//сравнение элементов в последовательностях
            begin
              eq:=true;
              z1:=z1+1;
            end
            else
            begin
              eq:=false;
              z1:=z1+1;
              break;
            end;

переменная z1 теряет своё значение и BDS говорит что она неопределена. Получается бесконечный цикл. С чем это связано? Объясните пожалуйста

[alexBlack]

z1 здесь не причем:

    repeat
        if z<>j then begin  
           ... // а здесь z не меняется - следующее сравнение z <> j = true
           ... // отсюда бесконечный цикл
        end else  
        z:=z+1;   
    until z=Length(arr)-i;

[master_root]

так то оно так, но переменная z1 в этом месте теряет своё значение:
компилятор при трассировке выдаёт:
variable 'z1' inaccessible here due to optimization

[Stilet]

master_root

Отключи оптимизацию. {$o-} в начале кода где эта переменка не используется и если надо {$o+} в его конце.