|Ada 95 Quality and Style Guide||Chapter 5|
5.9.2 Unchecked Deallocation
Isolate the use of Ada.Unchecked_Deallocation in package bodies.
Ensure that no dangling reference to the local object exists after exiting the scope of the local object.
Most of the reasons for using Ada.Unchecked_Deallocation with caution have been given in Guideline 5.4.5. When this feature is used, no checking is performed to verify that there is only one access path to the storage being deallocated. Thus, any other access paths are not made null. Depending on the value of these other access paths could result in erroneous execution.
If your Ada environment implicitly uses dynamic heap storage but does not fully and reliably reclaim and reuse heap storage, you should not use Ada.Unchecked_Deallocation.
|< Previous Page||Search||Contents||Index||Next Page >|