hmz007
36ed224bac
Signed-off-by: hmz007 <hmz007@gmail.com> Change-Id: Ib87fdbe7a0be7dc961af3500fe9ea4589a127f9f
7 lines
368 B
Plaintext
7 lines
368 B
Plaintext
Tests how the verifier handles aget on an array that was initially null.
|
|
|
|
The verifier will flag aget instructions as have_pending_runtime_throw_failure_
|
|
if the array register is potentially null, even if the aget is guarded by null
|
|
checks and never actually null at runtime. This fails compile-time verification,
|
|
preventing otherwise good method from being compiled.
|