RFR(S) 8149607: [Verifier] Do not verify pop, pop2, swap, dup* against top

harold seigel harold.seigel at oracle.com
Wed Aug 31 18:21:43 UTC 2016


Please review this verifier fix to disallow popping a single operand of 
type 'top' from the stack in case it's the upper half of a long or 
double operand.  See the Java Virtual Machine Spec 
for information about type 'top' operands.

JBS Bug: https://bugs.openjdk.java.net/browse/JDK-8149607

Open webrev: http://cr.openjdk.java.net/~hseigel/bug_8149607/

The fix was tested with the JCK Lang and VM tests, the hotpot, and 
java/lang, java/util and other JTreg tests, and the NSK colocated and 
non-colocated quick tests.

Thanks, Harold

More information about the hotspot-runtime-dev mailing list