xref: /aosp_15_r20/art/test/518-null-array-get/info.txt (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard WorkerCodifies that the verifier should reject type-unsafe
2*795d594fSAndroid Build Coastguard Workerinstructions in dead code after aget on null, but pass
3*795d594fSAndroid Build Coastguard Workertype-safe dead code.
4*795d594fSAndroid Build Coastguard Worker
5*795d594fSAndroid Build Coastguard WorkerPreviously verification stopped after aget on null and
6*795d594fSAndroid Build Coastguard Workerpunted the method to the interpreter in an effort to avoid
7*795d594fSAndroid Build Coastguard Workercompiler crashes. As broken code appears very uncommon,
8*795d594fSAndroid Build Coastguard Workerensure verifier strictness and help the compilers see more
9*795d594fSAndroid Build Coastguard Workercode.
10