Процедура с изменяемым параметром

[Sibedir]

Была операция вида массив[длина_массива-a], причем а могло принимать значение нуль.

Немножко не понял. Уточни, в какой это процедуре.

Sibedir, возможно в Вашем случае была аналогичная причина.

Сомневаюсь. У меня там какое-то мракобесие было. Ошибка возникала при считывании данных из файла и именно на определенном файле. Операция в цикле проходила 8287824784 раз, а потом Error. Я даже установил на каком именно "байте" она спотыкается, но чем он такой примечательный так и не понял. С другими файлами все нормально было в 1000 случаях из 1000.

[Utkin]

AddLeft, она там использовалась не напрямую. Ошибка возникает не всегда.

Вот новый код:

// Выделение байт с левой части байтовой последовательности
// ByteSpace - байтовая последовательность
// Quan - количество выделяемых байт слева
// B - байт, каким будет инициализирована добавляемая область
// Процедура защищена
procedure AddLeft(var ByteSpace: TByteSpace; Quan: Integer; B: Byte);
var
    i, a: Integer;
begin

    // Проверка входящего параметра
    If Quan<1 then Exit;

    // Добавим новую область к уже имеющейся
    i:= Length(ByteSpace.Left)+Quan;
    SetLength(ByteSpace.Left, i);

    // Инициализация новой области
    a:=Length(ByteSpace.Left)-1;
    for i:=0 to Quan-1 do
    begin

        // Побайтно
        ByteSpace.Left[a-i]:=B;
    end;
end;
////////////////////////////////////////////////////////////////////////////////

Вот новое умножение:

// Умножение
procedure MulBigNum (Op1, Op2: TBigNum; var Res: TBigNum);
var
    Dop: TBigNum;
    i, Count: Integer;
    buf: Byte;
begin

    // Инициализация
    InitBigNum(Res);

    // Выровняем множители
    AlignBigNum(Op1, Op2);

    // Выровняем результат
    AlignBigNum(Op1, Res);

    // Число первого числа
    Count:=GetCountC(Op1);

    // Умножаем столбиком
    Dec(Count);
    for i := 0 to Count do
    begin

          // Получим разряд множителя
          buf:=ReadByte(Op2.Category, i);

          // Произведем умножение
          MulR(Op1, Dop, buf);

          // Осуществим сдвиг зяпятой
          Dop.Divider:=Dop.Divider+(Dop.Divider-i);

          // Копим результат
          AddNonC(Res, Dop, Res);
    end;
end;
////////////////////////////////////////////////////////////////////////////////