[Bug tree-optimization/122184] [16 Regression] ICE: SIGSEGV in verify_use (tree-ssa.cc:873) with -O -fstack-check=generic -fhardened since r16-4212

[jakub at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122184

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
For -fstack-check=generic, I wonder if the right implementation wouldn't be to
lower each non-VLA larger variable declaration into a separate VLA allocation,
but instead find all the vars that need such a treatment and do VLA allocation
of a block of all those variables (with alignment taken into account too) and
do that as the first thing in the function.