Summary

Validate the local variable slot argument, multinewarray dimensions argument, and iinc value arguments and specify such validation.

Problem

Currently, local variable slot, multinewarray dimensions, and iinc value are all modeled by plain int values. They are not range-checked upon passing into factory methods. Therefore, the created model objects can have illegal values not representable in the class file format, or not allowed by the JVMS.

Solution

Perform range checks on these 3 selected type of arguments and specify that range checks are performed. This is better than allowing such values to be lost in the writing of class files, or to be passed to downstream class file transformations.

Specification

See the attached diff.