https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70093
--- Comment #1 from sasho648 at gmail dot com --- As a comment - I'll add that this feature looks fascinating and my personal opinion is that code like this should be allowed. I even suggest a way of allowing the return VM type access to the function parameters or locals. This way we could write self-contained functions which can directly return VLA (with size varying on each instance) without the need of the caller to maintain storage life-time (compared to 'malloc').