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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2925b133078d1557 X-Google-Attributes: gid103376,public From: Erik Magnuson Subject: Re: Flexible Strings (was Equality operator...) Date: 1997/05/09 Message-ID: #1/1 X-Deja-AN: 240646764 Sender: erik@sulu.fl.ensco.com X-Nntp-Posting-Host: 204.240.41.183 References: <9704301422.AA07755@most> <3F2AA8DEC61418AE.502E81A8ECA1C4E7.3A25DE2FB38755A4@library-proxy.airnews.net> Organization: ENSCO, INC. Newsgroups: comp.lang.ada Date: 1997-05-09T00:00:00+00:00 List-Id: dewar@merv.cs.nyu.edu (Robert Dewar) writes: > BUT, does this matter in practice? Of course not, all Ada compilers always > have followed this advice for the standard storage pool, and it would be > surprising if it were otherwise. This is exactly the same situation as > observing that all C compilers actualy free storage when free is used. > > Is it possible to make a formally conforming implementation in which > unchecked deallocation is useless. Most certainly. It is also possible > to make a formally conforming impl,ementation in which all integr > additions take one hour to complete. Bothy implementations are formally > correct according to the standard, both are totally useless! Robert, your claim is a little broad here. I have used 2 different Ada 83 compilers runtimes for embedded targets that did NOT implement any storage reclamation for Unchecked_Conversion, i.e., UC simply set the pointer to null. (One of these was the small runtime from a company you used to work with!) Now, both of these compilers also had versions that supported reclaiming storage. But for small, embedded systems, it is often nice to have a simple "new" that you can use at startup without including any overhead for UC. If you believe that these compilers were useless, you had better not fly on any modern commercial airliner. -- Erik