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

[TarasBer]

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

[volvo]

А переопределить в том модуле D_Pool на стандартный можно, это какая конструкция делает?

Можно, но это плохая идея. Дело в том, что глобальные ссылочные типы используют один пул (из пакета System.Pool_Global), локальные - другой (из System.Pool_Local). Что, будешь переопределять всё в один? Я бы не делал этого.

А хоть введут? Блоки вида if true then... - это покрывает только один случай применения условной компиляции.

Ну я ж написал, что нет в явном виде. Используй gnatprep - это несложно:

#if DEBUGGING
with GNAT.Debug_Pools; use GNAT.Debug_Pools;
#end if;

with Ada.Unchecked_Deallocation;

with Ada.Text_IO;
with My_Pool;
with MyObj;

procedure Main is

   type P_Integer is access Integer;

   #if DEBUGGING 
   for P_Integer'Storage_Pool use My_Pool.D_Pool;
   #end if;

   procedure Free is new Ada.Unchecked_Deallocation (Integer, P_Integer);

   procedure Test is
      A, B : P_Integer;
   begin
      A := new Integer;
      B := new Integer;

      A.all := 10;
      B.all := 20;
      Free (A);
   end Test;

begin
   #if DEBUGGING
   GNAT.Debug_Pools.Configure (My_Pool.D_Pool, Raise_Exceptions => False);
   #end if;
   
   Test;
   MyObj.Test_Recs;

   #if DEBUGGING
   GNAT.Debug_Pools.Print_Info_Stdout (My_Pool.D_Pool, Display_Leaks => True);
   #end if;
end Main;

(аналогичные #if/#end if; во всех файлах, где добавляется тестирование), потом открываешь GPR-файл, и ищешь там описание пакета Compiler. У меня оно, скажем, выглядит так:

   package Compiler is
      for Default_Switches ("ada") use ("-gnatVn", "-gnata", "-g", "-gnatf", "-gnat05");
   end Compiler;

добавляешь сюда же, в дефолт-опции, еще и предварительную обработку процессором:

   package Compiler is
      for Default_Switches ("ada") use ("-gnatVn", "-gnata", "-g", "-gnatf", "-gnat05") & ("-gnateDDEBUGGING=True");
   end Compiler;

Сохраняешь файл и полностью пересобираешь проект. Когда отладишь - снова зайдешь сюда, поменяешь в определении ключа True на False, и опять пересоберешь - отладочные строки не будут компилироваться...