hg: valhalla/valhalla: Summary: For withfield opcode, check that its reference on the stack is the same as its constant pool fieldref's class

[harold.seigel at oracle.com]

Changeset: cdd867831958
Author:    hseigel
Date:      2018-03-27 15:51 -0400
URL:       http://hg.openjdk.java.net/valhalla/valhalla/rev/cdd867831958

Summary: For withfield opcode, check that its reference on the stack is the same as its constant pool fieldref's class
Reviewed-by: dsimms

! src/hotspot/share/classfile/verifier.cpp
! src/hotspot/share/classfile/verifier.hpp
! test/hotspot/jtreg/runtime/valhalla/valuetypes/verifier/VerifierValueTypes.java
! test/hotspot/jtreg/runtime/valhalla/valuetypes/verifier/verifierTests.jcod