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
diff --git a/src/dex_instruction.cc b/src/dex_instruction.cc
index 6a3f538..a4f1bfc 100644
--- a/src/dex_instruction.cc
+++ b/src/dex_instruction.cc
@@ -308,6 +308,7 @@
const DexFile::MethodId& meth_id = file->GetMethodId(insn.vB_);
os << opcode << " {v" << insn.arg_[0] << ", v" << insn.arg_[1] << ", v" << insn.arg_[2]
<< ", v" << insn.arg_[3] << ", v" << insn.arg_[4] << "}, "
+ << file->GetMethodDeclaringClassDescriptor(meth_id) << "."
<< file->GetMethodName(meth_id) << file->GetMethodSignature(meth_id)
<< " // method@" << insn.vB_;
break;