Re: How do functions return unbounded arrays?

[johnherro@aol.com (John Herro)]

Markus Kuhn <Markus.Kuhn@cl.cam.ac.uk>
asks several questions, including
> Are there Ada programs that cause a heap
> overflow just by calling "&" in a long loop?

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;

- John Herro
You can download a shareware Ada Tutor from
http://members.aol.com/AdaTutor