RFR: 8315735: VerifyError when switch statement used with synchronized block

Jan Lahoda jlahoda at openjdk.org
Wed Sep 6 09:58:37 UTC 2023

On Wed, 6 Sep 2023 09:37:55 GMT, Rémi Forax <forax at openjdk.org> wrote:

> > (When there's a try statement inside a switch expression, the pre-existing stack is stored in local variables, and restored at return from the case. This is because catch clauses start with an empty stack.)
> Technically, the stack is not empty, you have the exception on top of the stack.

Right, I meant items that are on stack at the time the exception occurs are cleared.


PR Comment: https://git.openjdk.org/jdk/pull/15584#issuecomment-1708034631

More information about the compiler-dev mailing list