tree 0288b9d0eca5e73af456d9dba45d33f0f4c75730
parent 17c50db442d2791d9c4d7d1e98060556c323ce9b
author Jeff Hao <jeffhao@google.com> 1398381936 -0700
committer Jeff Hao <jeffhao@google.com> 1398383685 -0700

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