https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70555
--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> --- Created attachment 43886 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43886&action=edit work in progress Here's the beginning of work for more general variably-modified type capture, based on the approach of capturing and remapping all the uses of outer automatic vars in the VLA type when the VLA variable is captured. Another approach would be to handle this later, when we actually do something that involves the dimensions; that could avoid some unnecessary captures, but currently the uses of the variable dimensions are hidden in ARRAY_REF, so we'd need to lower it to pointer arithmetic in affected cases.
