Ада-95. Компилятор GNAT



         

Отслеживание состояния стека и обнаружение утечек памяти во время выполнения программы


Начиная с версии 3.12 GNAT предусматривает средства обратной трассировки, которые позволяют получить информацию об источнике исключения и состоянии стека времени выполнения в случае возникновения исключения.

Эти средства предоставляются пакетами Gnat.Traceback и Gnat.Traceback.Symbolic

(за более подробной информацией следует обратиться к спецификациям этих пакетов), которые позволяют точно идентифицировать место возникновения исключения, вплоть до определения файла с исходным текстом и строки в результате выполнения которой было возбуждено исключение.

Для того, чтобы активировать использование этих средств необходимо при компиляции программы указать опцию -funwind-tables, а при связывании программы - опцию -E.




Содержание  Назад  Вперед