GNAT Reference Manual: RM 13 11 2 17 Unchecked Deallocation

Next: RM 13 13 2 17 Stream Oriented Attributes, Previous: RM 13 11 23-25 Implicit Heap Usage, Up: Implementation Advice [Contents][Index]

6.31 RM 13.11.2(17): Unchecked Deallocation

"For a standard storage pool, Free should actually reclaim the storage."

Followed.