RM 13 11 2 17 Unchecked Deallocation (GNAT Reference Manual)

Next: RM 13.13.2(1.6): 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.