[jdk17] RFR: 8269285: Crash/miscompile in CallGenerator::for_method_handle_inline after JDK-8191998

[Aleksey Shipilev]

On Tue, 29 Jun 2021 18:49:01 GMT, Igor Veresov <iveresov at openjdk.org> wrote:

> I'm not an expect on this but perhaps we shouldn't be doing a join and instead transfer the speculative part of the argument to the speculative part of type of the signature?

I thought `join_speculative` was the attempt at that; but that fails when argument and signature are seriously different (interface and boxed class (?) here). It seems some other uses of `join_speculative` appreciate that corner case and handle it. I would be happy to try other approaches, but cannot find an easy (as in clean and obvious) way to do this.

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

PR: https://git.openjdk.java.net/jdk17/pull/169