On Fri, 20 Nov 2020, Martin Sebor via Gcc-patches wrote: > The VLA bounds are evaluated in function definitions so there > must be a point where that's done. I don't know where that > happens but unless at that point the most significant bound > is still associated with the param (AFAIK, it never really > is at the tree level) it wouldn't help me.
grokdeclarator combines VLA bounds with the *expr passed in using a COMPOUND_EXPR. These later get stored in arg_info->pending_sizes, and the evaluation happens via the add_stmt call in store_parm_decls. -- Joseph S. Myers jos...@codesourcery.com
