Integrated: 8361102: java.lang.classfile.CodeBuilder.branch(Opcode op, Label target) doesn't throw IllegalArgumentException - if op is not of Opcode.Kind.BRANCH

[Chen Liang]

On Wed, 9 Jul 2025 21:14:17 GMT, Chen Liang <liach at openjdk.org> wrote:

> Currently, DirectCodeBuilder is erroneously missing argument checks for a few of its override methods that take arguments such as Opcode and the array size for multianewarray and the switches, which would write something before throwing an exception. We correct these problems and verify with some tests.
> 
> Note: Other Label-writing methods resolve their label eagerly so they are not (yet) problematic.

This pull request has now been integrated.

Changeset: 3f59eae3
Author:    Chen Liang <liach at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/3f59eae3d0e00b0aaedf16af48afc7f9fb86e0ed
Stats:     171 lines in 5 files changed: 120 ins; 27 del; 24 mod

8361102: java.lang.classfile.CodeBuilder.branch(Opcode op,  Label target) doesn't throw IllegalArgumentException - if op is not of Opcode.Kind.BRANCH

Reviewed-by: asotona

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

PR: https://git.openjdk.org/jdk/pull/26229