https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94842
--- Comment #3 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Side-effects in the array sizes of variably modified parameters are valid and occur on entry to the function. I don't think being a nested function should make any difference there. (gcc.dg/atomic/pr65345-4.c has corresponding tests to this bug for the case of arguments to non-nested functions.)