RFR: 8350864: C2: verify structural invariants of the Ideal graph

[Emanuel Peter]

On Tue, 29 Jul 2025 16:59:20 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

> I am fine with `VerifyIdealGraph` flag. The main concern is we have tons of `Verify*` flags but I don't think we use them in CI testing. So we are forgetting about them, they will brake and few years later we are removing them like we did with `VerifyOpto`.

Yes. What you need is at least a "Hello World" test, where the flag is enabled.
And then we should try to add it to stress and fuzzer tests, so file an RFE for that!

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

PR Comment: https://git.openjdk.org/jdk/pull/26362#issuecomment-3220631845