[Bug middle-end/124805] New: ICE verify_vssa exceeds stack space for big functions

[heiko at hexco dot de]

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

            Bug ID: 124805
           Summary: ICE verify_vssa exceeds stack space for big functions
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: heiko at hexco dot de
  Target Milestone: ---

Created attachment 64164
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64164&action=edit
generated big function with many basic_blocks

While investigating PR124651, I patched gcc trunk with the intended fix. But
with checking on, the patched version showed another recursive code
(verify_vssa) which led to an ICE.

The preprocessed source is from the original PR.

gcc trunk patched with fix
[https://gcc.gnu.org/pipermail/gcc-patches/2026-April/712419.html] and
configured with --enable-checking.

gcc -Winfinite-recursion test.c -o /dev/null

The recursive verification code should probably also be transformed into an
iterative version.