RFR: 8271055: Crash during deoptimization with "assert(bb->is_reachable()) failed: getting result from unreachable basicblock" with -XX:+VerifyStack [v3]

[Yi Yang]

On Tue, 10 Aug 2021 06:59:57 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> HotSpot and javac should be fixed independently, please file a new bug for javac.
> 
> Regarding the change to `GenerateOopMap::do_exception_edge`, is that sufficient to fix the bug even without the change to javac? Because HotSpot should also handle bytecode not generated by javac.
> 
> The fix looks reasonable to me but someone from runtime who knows that code better should have a look.

Hi Tobias,

It's not sufficient to fix this bug without javac changes. But it reveals [another crash](https://github.com/openjdk/jdk/pull/4902#issuecomment-886774027) that I posted above. Maybe I should file a new issue for that and fix it? Later when javac bug is solved, this bug can also be set to resolve.

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

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