comp.lang.ada
 help / color / mirror / Atom feed
From: ajaskey@gnn.com (Andy Askey)
Subject: Re: Q: Ada.Unchecked_Deallocation
Date: 1996/07/14
Date: 1996-07-14T00:00:00+00:00	[thread overview]
Message-ID: <4s9o6h$ro4@news-e2b.gnn.com> (raw)
In-Reply-To: 31E5D4D1.11DB36E1@jinx.sckans.edu


David Morton <dmorton@jinx.sckans.edu> wrote:

>If something is created dynamically with new, is it
>necessary to deallocate it with Ada.Unchecked_Deallocation,
>or will it be removed from the heap space when the program
>exits? From the "C" world, I've always been taught to clean
>up after myself... is this necessary?  It seems that usually,
>"Unchecked" anything in Ada is bad...
>Ada95, GNAT on Linux 2.0

>Thanks!
>-- 
>David Morton

The DEC VMS implementation of Unchecked Allocation and Deallocation is
not totally unchecked.  It is a generic function that will fail at
compile time if the size of the memory to be created/removed is not
the same as the instantiated function.  I assumed other
implementations would do the same.  Are there totally unchecked
implementations out there?


--
May your karma be excellent for forgiving my spelling mishaps.

Andy Askey
ajaskey@gnn.com





  parent reply	other threads:[~1996-07-14  0:00 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-07-11  0:00 Q: Ada.Unchecked_Deallocation David Morton
1996-07-12  0:00 ` Robert Dewar
1996-07-16  0:00   ` Robert I. Eachus
1996-07-21  0:00     ` Robert A Duff
1996-07-20  0:00   ` Laurent Guerby
1996-07-20  0:00     ` Robert Dewar
1996-07-21  0:00     ` Robert A Duff
1996-07-21  0:00   ` Laurent Guerby
1996-07-21  0:00   ` Robert A Duff
1996-07-12  0:00 ` Ron Thompson
1996-07-13  0:00   ` Robert Dewar
1996-07-21  0:00     ` Robert A Duff
1996-07-12  0:00 ` Jon S Anthony
1996-07-14  0:00 ` Andy Askey [this message]
1996-07-14  0:00   ` Robert Dewar
1996-07-27  0:00     ` Uri Shina
1996-07-30  0:00       ` Theodore E. Dennison
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox