commit 98eacac683b78e60799323e8c7d59e7214808639
author jeffhao <jeffhao@google.com> Wed Sep 14 16:11:53 2011 -0700
committer jeffhao <jeffhao@google.com> Thu Sep 15 13:41:42 2011 -0700
tree 3be4dabf184c2e72fa54e367cfc996ae3ace13b8
parent 8692721dd8a3679ca874c3d1be0cecb62ff148f6

Enabled verification in the compiler and some other verifier fixes.

The verifier still needs to be able to continue execution after it fails
to resolve a class or method. The structure for that doesn't exist yet.

Change-Id: Ie32f6f9971fed02b645ba715bc5164f86f70f1c6

src/compiler.h

diff --git a/src/compiler.h b/src/compiler.h
index 958d9ab..5735c6b 100644
--- a/src/compiler.h
+++ b/src/compiler.h
@@ -35,6 +35,9 @@
   void Resolve(const ClassLoader* class_loader);
   void ResolveDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
 
+  void Verify(const ClassLoader* class_loader);
+  void VerifyDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
+
   void Compile(const ClassLoader* class_loader);
   void CompileDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
   void CompileClass(Class* klass);