Integrated: 8341277: Validate slot argument for instruction factories

[Chen Liang]

On Mon, 30 Sep 2024 23:36:35 GMT, Chen Liang <liach at openjdk.org> wrote:

> Perform validation of local variable slots, multinewarray dimension, iinc value and specify these validations are performed. Specify these exception behaviors for sipush and bipush as well.
> 
> This validation avoids using invalid values that will be lost once class files are written, and avoids invalid value pollution from upstream in chained transformations.
> 
> This changes the exception specs of Class-File API, but does not block the JEP as it does not change the intended functionality of these APIs.
> 
> Unfortunately, I cannot test the DirectCodeBuilder overloads due to it failing to generate stack maps, so the tests are restricted to instruction factories.

This pull request has now been integrated.

Changeset: 39c17b39
Author:    Chen Liang <liach at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/39c17b392699007496816f788fca9fbe670dd6f8
Stats:     417 lines in 15 files changed: 337 ins; 51 del; 29 mod

8341277: Validate slot argument for instruction factories

Reviewed-by: asotona

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

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