1 Codifies that the verifier should reject type-unsafe 2 instructions in dead code after aget on null, but pass 3 type-safe dead code. 4 5 Previously verification stopped after aget on null and 6 punted the method to the interpreter in an effort to avoid 7 compiler crashes. As broken code appears very uncommon, 8 ensure verifier strictness and help the compilers see more 9 code. 10
