ART: Check dex file constraint A1

Test: TODO
Change-Id: I77d6c7e4d6cf47fdc0268326b30808b56b59b813
diff --git a/libdexfile/dex/dex_file_verifier.cc b/libdexfile/dex/dex_file_verifier.cc
index f69b657..80ab80f 100644
--- a/libdexfile/dex/dex_file_verifier.cc
+++ b/libdexfile/dex/dex_file_verifier.cc
@@ -1610,6 +1610,10 @@
 
   const uint16_t* insns = accessor.Insns();
   uint32_t insns_size = accessor.InsnsSizeInCodeUnits();
+  if (insns_size == 0) {
+    ErrorStringPrintf("insns_size must not be zero (%ud)", insns_size);
+    return false;
+  }
   if (!CheckListSize(insns, insns_size, sizeof(uint16_t), "insns size")) {
     return false;
   }