Prev | Up | Next | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help


13.11.2 Unchecked Storage Deallocation

(1)
Unchecked storage deallocation of an object designated by a value of an access type is achieved by a call to an instance of the generic procedure Unchecked_Deallocation.
Static Semantics
(2)
The following language-defined generic library procedure exists:
(3)
       generic
          type Object(<>) is limited private;
          type Name   is access  Object;
       procedure Ada.Unchecked_Deallocation(X : in out Name);
       pragma Convention(Intrinsic, Ada.Unchecked_Deallocation);
       pragma Preelaborate(Ada.Unchecked_Deallocation);
Dynamic Semantics
(4)
Given an instance of Unchecked_Deallocation declared as follows:
(5)
       procedure Free is
           new Ada.Unchecked_Deallocation(
               object_subtype_name, access_to_variable_subtype_name);
(6)
Procedure Free has the following effect:
(7)
(8)
(9)
(10)
After Free(X), the object designated by X, and any subcomponents thereof, no longer exist; their storage can be reused for other purposes.
Bounded (Run-Time) Errors
(11)
It is a bounded error to free a discriminated, unterminated task object. The possible consequences are:
(12)
(13)
(14)
(15)
In the first two cases, the storage for the discriminants (and for any enclosing object if it is designated by an access discriminant of the task) is not reclaimed prior to task termination.
Erroneous Execution
(16)
Evaluating a name that denotes a nonexistent object is erroneous. The execution of a call to an instance of Unchecked_Deallocation is erroneous if the object was created other than by an allocator for an access type whose pool is Name'Storage_Pool.
Implementation Advice
(17)
For a standard storage pool, Free should actually reclaim the storage.

(18)
(19)

Prev | Up | Next | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

Ada WWW Home -- Email comments, additions, corrections, gripes, kudos, etc. to:

Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12