Отлов утечек памяти - GNAT, (разделено) Опции

[TarasBer]

Новые вопросы - какая функция определяет наличие или отсутствие утечек памяти?
Я скачал ВинАДУ, поставил, как подключить пакет, содержащий заголовки виндовых библиотек? with ADA.Windows не рабтает, нет такого пакета.

[volvo]

какая функция определяет наличие или отсутствие утечек памяти?

Целый пакет есть для этого:

with GNAT.Debug_Pools; use GNAT.Debug_Pools;

-- ... Остальные используемые пакеты

procedure Main is
   
   D_Pool : Gnat.Debug_Pools.Debug_Pool;  --  Добавляем

   --  Тут идут твои функции/процедуры

begin
   GNAT.Debug_Pools.Configure (D_Pool, Raise_Exceptions => False);

   --  Работаешь со своими функциями/процедурами

   GNAT.Debug_Pools.Print_Info_Stdout (D_Pool, Display_Leaks => True);
end Main;

После окончания работы программы получаешь полный список: сколько выделил памяти, сколько освободил, где не освободил...

Я скачал ВинАДУ, поставил, как подключить пакет, содержащий заголовки виндовых библиотек? with ADA.Windows не рабтает, нет такого пакета.

Правильно. Его и не было.

with Win32. { тут может быть много дочерних пакетов }

Но сначала открой GPR-файл, и самой первой строкой добавь

with "win32ada";
--  Дальше - то, что и было, описание project ... is

, после чего перезагрузи проект. А еще лучше - сделать это без загруженной IDE. Я всегда так делаю - создаю новый проект, выхожу из IDE, правлю GPR, и загружаю среду заново (ну, или вообще набираю GPR вручную. Там всего - то 10 строк нужно)... Если устанавливал win32ada-gplXXXX.exe и ошибок при установке не было - то все должно завестись.

P.S. Я тут задумал написать про нововведения в A2012, нужно?