| Jeff Hao | 3c3911e | 2017-08-14 15:14:29 -0700 | [diff] [blame^] | 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. | ||||