RFR(S) 7127066: Class verifier accepts an invalid class file

[harold seigel]

Hi,

Please review this fix for bug JDK-7127066.  The fix applies to astore* 
bytecodes because, when inside an exception handler, they can reference 
the thrown object and modify the number of stack locals, enabling the 
incorrect stack match.

Open webrev: http://oklahoma.us.oracle.com/~hseigel/webrev/bug_7127066/

JBS bug: https://bugs.openjdk.java.net/browse/JDK-7127066

The fix was tested with JCK api, lang, and vm tests, jtreg hotspot, 
java/lang, java/io, and java/util tests, and testbase quick and split 
verifier tests, and with the test case provided in the bug.

Thanks! Harold