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

[Emanuel Peter]

On Tue, 9 Sep 2025 14:39:51 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

>> Also: are these all supposed to be projections of a specific kind? We could also test for that. You can also add that to a future RFE.
>
>> Can you add a comment, why it can be arbitrarily large?
> 
> Maybe I'm very wrong about what is a CatchNode, but:
> 
> try {
> ...
> }
> catch ( ... ) { ... }
> catch ( ... ) { ... }
> catch ( ... ) { ... }
> 
> 4 outputs: 3 handlers + 1 fallthrough.
> 
>>  Also: are these all supposed to be projections of a specific kind? We could also test for that. You can also add that to a future RFE.
> 
> I'd rather do it separately. We can always check more things, but we need to draw the line and that is safe to add later.

Fair enough, thanks for the explanations :)

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

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