From f1c6d9e87cbfd27702103ccc7c7f08ce784dc872 Mon Sep 17 00:00:00 2001 From: Calin Juravle Date: Mon, 13 Apr 2015 18:42:21 +0100 Subject: Fallback to quick in case of soft verification errors Add a regression test: using uninitialized values triggers a soft verification error and optimizing should not crash. Thanks to Stephen Kyle (stephenckyle@googlemail.com) for the bug report. Bug: 19988704 Change-Id: I67174538eed853baff735694b3ae8eb34afe2a39 --- compiler/dex/verified_method.cc | 1 + 1 file changed, 1 insertion(+) (limited to 'compiler/dex/verified_method.cc') diff --git a/compiler/dex/verified_method.cc b/compiler/dex/verified_method.cc index ae814b4029..977757fd3e 100644 --- a/compiler/dex/verified_method.cc +++ b/compiler/dex/verified_method.cc @@ -40,6 +40,7 @@ namespace art { const VerifiedMethod* VerifiedMethod::Create(verifier::MethodVerifier* method_verifier, bool compile) { std::unique_ptr verified_method(new VerifiedMethod); + verified_method->has_verification_failures_ = method_verifier->HasFailures(); if (compile) { /* Generate a register map. */ if (!verified_method->GenerateGcMap(method_verifier)) { -- cgit v1.2.3-59-g8ed1b