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

[harold seigel]

Hi,

Please review this small verifier fix for bug JDK-7127066.  The change 
fixes the problem by doing the exception handler type state verification 
for byetcodes, such as astore, that modify the type state, before the 
type state gets modified.

bug:  https://bugs.openjdk.java.net/browse/JDK-7127066
Open webrev: http://cr.openjdk.java.net/~hseigel/bug_7127066/

The fix was tested with JCK lang, vm, and api/java_lang tests, ute quick 
tests, ute split_verifier tests, hotspot JTREG tests, and the test case 
provided in the bug.

Thanks, Harold