| commit | 5ed29bf9c2d9636bf6d0901c7fb80a4e90732a1e | [log] [tgz] |
|---|---|---|
| author | Ian Rogers <irogers@google.com> | Wed Oct 26 12:22:21 2011 -0700 |
| committer | Ian Rogers <irogers@google.com> | Wed Oct 26 12:31:01 2011 -0700 |
| tree | e836cb65e3ae52a9469305235a3dadcc334d2b6f | |
| parent | b94a27bf7ec392b09780d8fcd7aee5d119bd7f11 [diff] |
Make verifier more liberal with interfaces. Brought over commented out checks from Dalvik, but enabled them. The checks were incorrect given the verifiers notion of type, so refined the verifier to now have correct but imprecise interface type information. Also handling for unresolved types. Change-Id: Ia29ab9aaa548edc9cd1e1b9db03604193d53a7d9