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,133de21eb82605b
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: How do functions return unbounded arrays?
Date: 1998/06/21
Message-ID: <dewar.898439463@merv>#1/1
X-Deja-AN: 364717357
References: <358444BA.757121D8@cl.cam.ac.uk>
 <1998061518584100.OAA28557@ladder01.news.aol.com>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 898439578 16331 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-06-21T00:00:00+00:00
List-Id: <comp.lang.ada>


John Herro said

<<That question I can answer definitely.  The following program raises
Storage_Error on my machine when compiled with Open Ada (an Ada 83 compiler).
The "with Text_IO;" is necessary with that compiler if the user is to see the
unhandled exception:

with Text_IO;
procedure Test is
   S : String(1 .. 18);
begin
   for L in Long_Integer range
        10_000_000 .. 99_999_998 loop
      S := Long_Integer'Image(L) &
           Long_Integer'Image(L + 1);
   end loop;
end Test;
>>


This seems a clear bug to me, it is a storage leak! It should be reported
to the vendor as a bug (if they still care about their Ada 83 compiler!)

No decent compiler should raise SE due to storage leaks for temporary
allocations in loops.

(i.e. no compiler should accept such a situation as other than a bug
that needs fixing. Certainly that is the attitude we take with GNAT,
and we have indeed fixed a number of bugs of this type over the years!)