RFR(S) 8149607: [Verifier] Do not verify pop, pop2, swap, dup* against top
harold.seigel at oracle.com
Fri Sep 9 15:20:42 UTC 2016
On 9/9/2016 11:18 AM, Coleen Phillimore wrote:
> This looks good. Nice test!
> On 8/31/16 2:21 PM, harold seigel wrote:
>> 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