| Andreas Gampe | 52f205a | 2017-12-01 12:16:07 -0800 | [diff] [blame] | 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. | ||||