On Tuesday, 14 April 2015 at 07:06:24 UTC, John Colvin wrote:
The problem is that the size isn't necessarily known.
C backends have alloca as a primitive: http://llvm.org/docs/LangRef.html#alloca-instruction
I guess the compiler could put in a branch, but at that point you'd probably want to give the programmer control and have a way of making it explicit.
A compiler hint is the right thing to do.