Re: How do functions return unbounded arrays?

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Markus said

<<> 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.
>>


Any kind of dynamic allocation is a safety risk for most safety
critical purposes!