https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81445
--- Comment #6 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Wilco from comment #5) > Also it doesn't support these simple cases: > > void vla2(int x) > { > if (x == 10) > { > int arr[x]; > t (arr); > } > } Again, try something smaller. When the allocation is not always executed, the threshold is even lower.