commit 4824c27988c8eeb302791624bb3ce1d557b0db6c
author Nicolas Geoffray <ngeoffray@google.com> Wed Jun 24 15:53:03 2015 +0100
committer Nicolas Geoffray <ngeoffray@google.com> Wed Jun 24 17:01:08 2015 +0100
tree c14f74d9cc4c93cab04bee5c723e420a87db9cb3
parent 22c4edd865bfdea29e80a789cef70e8e51d2a3a5

Use a flag from the verifier to know if we should compile.

Only used for the lack of bottom type in the aget-object case
for now. Could be used for more.

bug:21865466

Change-Id: I64c2c84dfa1c0d259631e65e5f44b94e4139e6a7

compiler/dex/verified_method.cc

diff --git a/compiler/dex/verified_method.cc b/compiler/dex/verified_method.cc
index 8a009cb..273b1628 100644
--- a/compiler/dex/verified_method.cc
+++ b/compiler/dex/verified_method.cc
@@ -41,6 +41,7 @@
                                              bool compile) {
   std::unique_ptr<VerifiedMethod> verified_method(new VerifiedMethod);
   verified_method->has_verification_failures_ = method_verifier->HasFailures();
+  verified_method->has_runtime_throw_ = method_verifier->HasInstructionThatWillThrow();
   if (compile) {
     /* Generate a register map. */
     if (!verified_method->GenerateGcMap(method_verifier)) {