Pragma Finalize_Storage_Only (GNAT Reference Manual)

### 2.71 Pragma Finalize_Storage_Only ¶

Syntax:

    pragma Finalize_Storage_Only (first_subtype_LOCAL_NAME);

The argument of pragma `Finalize_Storage_Only` must denote a local type which is derived from `Ada.Finalization.Controlled` or `Limited_Controlled`. The pragma suppresses the call to `Finalize` for declared library-level objects of the argument type. This is mostly useful for types where finalization is only used to deal with storage reclamation since in most environments it is not necessary to reclaim memory just before terminating execution, hence the name. Note that this pragma does not suppress Finalize calls for library-level heap-allocated objects (see pragma `No_Heap_Finalization`).