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

[Jan Lahoda]

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