diff --git a/vm/analysis/DexOptimize.h b/vm/analysis/DexOptimize.h
index c07dea1..8ae2af5 100644
--- a/vm/analysis/DexOptimize.h
+++ b/vm/analysis/DexOptimize.h
@@ -43,11 +43,14 @@
     VERIFY_ERROR_NONE = 0,      /* no error; must be zero */
     VERIFY_ERROR_GENERIC,       /* VerifyError */
 
-    VERIFY_ERROR_NO_CLASS,      /* NoClassDefFoundError */
-    VERIFY_ERROR_NO_METHOD,     /* NoSuchMethodError */
-    VERIFY_ERROR_NO_FIELD,      /* NoSuchFieldError */
-    VERIFY_ERROR_CLASS_CHANGE,  /* IncompatibleClassChangeError */
-    VERIFY_ERROR_ACCESS,        /* IllegalAccessError */
+    VERIFY_ERROR_NO_CLASS,      /* NoClassDefFoundError (ref=class) */
+    VERIFY_ERROR_NO_FIELD,      /* NoSuchFieldError (ref=field) */
+    VERIFY_ERROR_NO_METHOD,     /* NoSuchMethodError (ref=method) */
+    VERIFY_ERROR_ACCESS_CLASS,  /* IllegalAccessError (ref=class) */
+    VERIFY_ERROR_ACCESS_FIELD,  /* IllegalAccessError (ref=field) */
+    VERIFY_ERROR_ACCESS_METHOD, /* IllegalAccessError (ref=method) */
+    VERIFY_ERROR_CLASS_CHANGE,  /* IncompatibleClassChangeError (ref=class) */
+    VERIFY_ERROR_INSTANTIATION, /* InstantiationError (ref=class) */
 } VerifyError;
 
 #define VERIFY_OK(_failure) ((_failure) == VERIFY_ERROR_NONE)