Next: , Previous: Using the GNU make Utility, Up: Top


22 Memory Management Issues

This chapter describes some useful memory pools provided in the GNAT library and in particular the GNAT Debug Pool facility, which can be used to detect incorrect uses of access values (including “dangling references”). It also describes the gnatmem tool, which can be used to track down “memory leaks”.