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

[Marc Chevalier]

On Mon, 8 Sep 2025 16:47:23 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Marc Chevalier has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   One more ResourceMark
>
> 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.

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

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