On: What Challenges and Trade-Offs Do Optimising Compilers Face?

[cwzwarich]

If you have a fixed size stack, then it's impossible for optimizations to not leak into the language, because stack overflow is an observable failure.