RFR: add verifier checks for when a reference can and cannot be a value type (original) (raw)
Harold David Seigel harold.seigel at oracle.com
Thu May 31 14:30:12 UTC 2018
- Previous message (by thread): hg: valhalla/valhalla: [lworld] Move null check from method entry into i2c adapter
- Next message (by thread): RFR: add verifier checks for when a reference can and cannot be a value type
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Hi,
Please review this change to add checks to the verifier for the following:
- Not allow the operand for a NEW or MONITOR* opcode be a value type.
- Require that the reference operand for a WITHFIELD or DEFAULTVALUE opcode be a value type.
- Not allow the field for a PUTFIELD opcode to be in a value type unless the current method is named "".
Also, some of the existing test cases in verfierTests.jcod were modified to add the ValueTypes attribute.
Webrev: http://cr.openjdk.java.net/~hseigel/vt_verifier_checks/webrev/index.html
The fix was tested with JCK Lang and VM tests, Hotspot JTReg tests, and with many JDK JTReg tests.
Thanks, Harold
- Previous message (by thread): hg: valhalla/valhalla: [lworld] Move null check from method entry into i2c adapter
- Next message (by thread): RFR: add verifier checks for when a reference can and cannot be a value type
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]