https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83808
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Seems one of the issues is that array_of_runtime_bound_p only looks at the toplevel array. Shall it look at all the nested ARRAY_TYPEs and return true if any of them is of runtime bound? Or shall we have another predicate which would do that? There is always variably_modified_type_p predicate, but it doesn't probably work too well with dependent types.
