| commit | b878f2133a04593643228eb1d47993092528b963 | [log] [tgz] |
|---|---|---|
| author | Jeff Hao <jeffhao@google.com> | Thu Apr 24 16:25:36 2014 -0700 |
| committer | Jeff Hao <jeffhao@google.com> | Thu Apr 24 16:54:45 2014 -0700 |
| tree | 0288b9d0eca5e73af456d9dba45d33f0f4c75730 | |
| parent | 17c50db442d2791d9c4d7d1e98060556c323ce9b [diff] |
Make unresolved exception types cause soft verification errors. Before, the verifier would allow the first exception it finds for a catch block to be unresolved, but this causes problems if it merges other exceptions later. The verifier should soft fail for any unresolved exception type it finds. Bug: 14256107 Change-Id: I22563ebfe8c9680cc676b73516d5b48bc9c4ecf3