From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9d56a9e1aac251b6
X-Google-Attributes: gid103376,public
From: dvdeug@x8b4e53cd.dhcp.okstate.edu (David Starner)
Subject: Re: Access to classwide type
Date: 2000/07/24
Message-ID: <8li2f1$8q61@news.cis.okstate.edu>#1/1
X-Deja-AN: 650531964
References: <8lfuof$ipb$1@nnrp1.deja.com>
 <xtPe5.19463$T5.28006@east2.usenetserver.com> <8li0m5$1i4$1@nnrp1.deja.com>
Organization: Oklahoma State University
User-Agent: slrn/0.9.6.2 (Linux)
Reply-To: dstarner98@aasaa.ofe.org
Newsgroups: comp.lang.ada
Date: 2000-07-24T00:00:00+00:00
List-Id: <comp.lang.ada>

On Mon, 24 Jul 2000 18:08:09 GMT, reason67@my-deja.com wrote:
>How in the heck does it do that? Does Ada.Unchecked_Deallocation read
>the tag and do a `size on the data structure to determine the size of
>the memory in heap to release? I am suprised by this. It is more
>implicit than I am used to in Ada.

You're assuming that the 'size is the amount of memory allocated. From
what I've read, most memory allocaters round that up to the nearest 
power of 2, and some add their own chunk of memory for tracking 
purposes. I believe GNAT just implements it as a small wrapper around 
C's free function.

-- 
David Starner - dstarner98@aasaa.ofe.org
http/ftp: x8b4e53cd.dhcp.okstate.edu
It was starting to rain on the night that they cried forever,
It was blinding with snow on the night that they screamed goodbye.
	- Dio, "Rock and Roll Children"