Integrated: 8273165: GraphKit::combine_exception_states fails with "matching stack sizes" assert

[Vladimir Ivanov]

On Wed, 1 Sep 2021 12:56:19 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

> The fix for JDK-8271276 uncovered another problem with incremental inlining through 
> virtual call sites: receiver null check breaks exception state combining in `GraphKit::replace_call()`
> because the associtated exception path has the JVM state representing the point
> right before the call (arguments are on stack).
> 
> I propose a conservative fix which bails out the inlining attempt when receiver is not provably non-null.
> 
> IMO the proper fix is to always add explicit receiver null check and teach
> `Block::implicit_null_check()` about CallDynamicJava nodes. But that's for a
> separate change.
> 
> Testing: failing tests, hs-tier1 - hs-tier4

This pull request has now been integrated.

Changeset: 632a7e08
Author:    Vladimir Ivanov <vlivanov at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/632a7e0885596b70d34be319bd09d4df8e151d12
Stats:     6 lines in 1 file changed: 6 ins; 0 del; 0 mod

8273165: GraphKit::combine_exception_states fails with "matching stack sizes" assert

Reviewed-by: thartmann, kvn

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

PR: https://git.openjdk.java.net/jdk/pull/5330