Stack-allocated arrays in ATS2 (or ATS3?)

[Vanessa McHale]

Is there any way to safely use alloca in ATS? I know the language has
features for both safe pointer arithmetic and safe use of
stack-allocated variables... so it would be nice to both guarantee no
out-of-bounds array accesses and no subsequent uses of the pointer.

Cheers,
Vanessa McHale

[Artyom Shalkhakov]

Hi Vanessa!

Have you seen this discussion:

https://groups.google.com/forum/#!searchin/ats-lang-users/alloca%7Csort:date/ats-lang-users/a9KRqQn2uGo/nUqbI_2AHn4J

As for me, I think It's OK to use the outlined approach. BTW it is already provided in the ATS2 libats/libc.
 

Cheers,
Vanessa McHale

[gmhwxi]

One very serious danger with using alloca is that alloca interferes with tail-call

optimization. After debugging code using alloca a couple times, I would be really

hard pressed to every use alloca again.