Re: How do functions return unbounded arrays?

[Matthew Heaney <matthew_heaney@acm.org>]

Markus Kuhn <Markus.Kuhn@cl.cam.ac.uk> writes:

> Thanks for that example. That is exactly an implementation of
> of my bad gut feeling about the lack of a clear description in
> the RM that guarantees me when these secretly allocated heap
> blocks will be deallocated. Some guarantee that whatever a variable
> length function return secretly allocates does not survive the next
> semicolon would be very reassuring, otherwise programmers have
> little idea about what memory leaks their code might contain and
> this could be a safety risk. 

As I pointed out in my previous post, there needs to be an inner block,
containing the declaration of string S.  This will probably take care of
the memory "problem."