| commit | cd133d85874d94cd05b5ba11389c851550e6d8f4 | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Fri Jun 25 16:10:39 2021 +0100 |
| committer | Nicolas Geoffray <ngeoffray@google.com> | Fri Jul 02 15:27:21 2021 +0000 |
| tree | 514f7f1fa4bfaa9038e5c98a299543ccbb4bfdd6 | |
| parent | 971068dcaf5955634679dbfaf7b562ed52aff772 [diff] |
Verifier cleanups. - For apps <= S, keep the behavior of not analyzing an unreachable handler. If >= T, we analyze it to simplify handling in the compiler. - Remove VERIFY_ERROR_SKIP_COMPILER and fold uncompilable methods into checking HasInstructionThatWillThrow. Test: test.py Bug: 28313047 Change-Id: I20b65cf50def2a4a95617a03142575b8591ae0ec