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
2 files changed
tree: e836cb65e3ae52a9469305235a3dadcc334d2b6f
  2. build/
  3. oat_process/
  4. oat_runtime/
  5. src/
  6. test/
  7. tools/