RFR: 8350864: C2: verify structural invariants of the Ideal graph [v5]

[Emanuel Peter]

On Tue, 9 Sep 2025 07:57:08 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

>> src/hotspot/share/opto/graphInvariants.cpp line 438:
>> 
>>> 436:         ss.print_cr("%s node must have at least one control successors. Found %d.", center->Name(), cfg_out);
>>> 437:         return CheckResult::FAILED;
>>> 438:       }
>> 
>> Is there some upper bound?
>
> I don't think so.

Can you add a comment, why it can be arbitrarily large?
Do you have an example where we have very many ctrl uses?

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/26362#discussion_r2332468642