[Ada] gnatmem enhancements

[Arnaud Charlet <charlet at adacore dot com>]

gnatmem enhancements:

Add support for timestamps on memory operations (not
used currently, just foundation for future enhancements). Add
possibility to perform full dump of gmem.out file.

Allocate root arrays on the heap rather than stack,
as these can potentially be very large for large programs; also correct
an invalid assumption that a number of leaks will always be the same as
the total number of roots (the latter was used to define root array
bounds, but not all of allocated array would necessarily be populated,
resulting in a crash later on).

2007-06-06  Vasiliy Fofanov  <fofanov@adacore.com>

	* gmem.c: Add support for timestamps on memory operations.

	* memtrack.adb, gnatmem.adb: Add support for timestamps on memory
	operations (not used currently, just foundation for future
	enhancements). Add possibility to perform full dump of gmem.out file.
	(Print_Back_Traces): Declare accesses to root arrays constants since
	they aren't modified.
	(Print_Back_Traces): allocate root arrays on the heap rather than stack.

Attachment: difs
Description: Text document