On Mon, 30 Sep 2024 23:36:35 GMT, Chen Liang <li...@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 <li...@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