1 Tests how the verifier handles aget on an array that was initially null. 2 3 The verifier will flag aget instructions as have_pending_runtime_throw_failure_ 4 if the array register is potentially null, even if the aget is guarded by null 5 checks and never actually null at runtime. This fails compile-time verification, 6 preventing otherwise good method from being compiled. 7
