commit 3a2bd29d274f60fdcfabebb052078edef0190164
author Andreas Gampe <agampe@google.com> Tue Jan 26 17:23:47 2016 -0800
committer Andreas Gampe <agampe@google.com> Wed Jan 27 11:46:00 2016 -0800
tree 1e98b0b4ccdfc60c2a3f13abd4b0141b0c8be75f
parent 6a507f3bef2c970b29bada165269d2764d260fc8

ART: Make sure dex files are verified in the compiler

Follow-up to 9bdf108885a27ba05fae8501725649574d7c491b. Make sure
that dex files from the oat writer are verified with the dex file
verifier.

Bug: 26793137
Bug: 26808512
Change-Id: I1a5f51751491eead21d8f9f1b31e37c7374c72a5

dex2oat/dex2oat.cc

diff --git a/dex2oat/dex2oat.cc b/dex2oat/dex2oat.cc
index 86f51e1..2718a9f 100644
--- a/dex2oat/dex2oat.cc
+++ b/dex2oat/dex2oat.cc
@@ -1351,6 +1351,7 @@
                                                    instruction_set_,
                                                    instruction_set_features_.get(),
                                                    key_value_store_.get(),
+                                                   /* verify */ true,
                                                    &opened_dex_files_map,
                                                    &opened_dex_files)) {
           return false;