[РЕШЕНО] FPCUnit - куда пропал Access Violation?

[Brainenjii]

Долго искал ошибку - внезапно обнаружил, что код вида:

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

Procedure TTestCase1.TestHookUp; 
Var
  aManager: BAttributesManagerClass;
Begin
  aManager.AddAttribute(nil, 'Test Group1', akGroup);
End;

прекрасно выполняется. Как такое может быть? Проект прилагаю.

P.S. вне FPCUnit Access Violation замечательно поднимается

[Brainenjii]

Всё даже ещё интересней:

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

Unit TestCase1;

Interface

Uses
  Classes, fpcunit, testutils, testregistry;

Type

  TTestCase1= Class(TTestCase)
  Published
    Procedure TestHookUp;
  End;

Implementation

Procedure TTestCase1.TestHookUp;
Var
  aStringList: TStringList;
Begin
  aStringList.Add(''); //<- Тут потерялся Exception
End;

Initialization
  RegisterTest(TTestCase1);
End.

Выполняется на 5 с плюсом, что в FPCUnit, что в Lazarus'e.
Как вернуть Exception? ^_^

[kosteek]

Я не верно понял вопрос. А как удалить свое сообщение не знаю.

[Mr.Smart]

А если явно?

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

Var
  aStringList: TStringList = nil;

[Brainenjii]

если явно - exception возвращается... Из-за чего такое может быть? В багтрекере говорят что не могут воспроизвести

[Sergei I. Gorelkin]

Из-за того, что на месте неинициализированной переменной в стеке оказался другой TStringList или другой объект, обращение к которому не приводит к AV. Воспроизвести не могут, видимо, из-за разных опций компиляции (причем компиляции всего начиная с RTL), т.к. они влияют на раскладку стека.

[Brainenjii]

Какой-то способ, кроме явной инициализации в nil существует?

[Sergei I. Gorelkin]

Ключи компиляции -gt, -gtt, -gttt будут инициализировать мусором, но не все (например, открытые массивы недоделаны).

[Brainenjii]

Спасибо!

[Brainenjii]

C -gt вылез слабообъяснимый глюк с generic'ами

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

  ..
  WriteLn(bNewReqPatterns.UnitName); // <- Здесь всё хорошо
  aStored.Compare(aReqPatterns, bNewReqPatterns, bOldReqPatterns);
  ..
Procedure Compare(Const aTarget: BList; Out aLack, aOver: BList);
Begin
  WriteLn(aLack.UnitName); // <- Здесь Access Violation
  ..
End;
..

без него всё отрабатывает как нужно

[Sergei I. Gorelkin]

Очень даже объясним. Out-параметр используется до присвоения ему значения.

[Brainenjii]

И точно. Ещё раз спасибо