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/driver/compiler_driver.h | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'compiler/driver/compiler_driver.h') diff --git a/compiler/driver/compiler_driver.h b/compiler/driver/compiler_driver.h index f1066a5005..1a4ae13176 100644 --- a/compiler/driver/compiler_driver.h +++ b/compiler/driver/compiler_driver.h @@ -425,6 +425,12 @@ class CompilerDriver { void RecordClassStatus(ClassReference ref, mirror::Class::Status status) LOCKS_EXCLUDED(compiled_classes_lock_); + // Checks if the specified method has been verified without failures. Returns + // false if the method is not in the verification results (GetVerificationResults). + bool IsMethodVerifiedWithoutFailures(uint32_t method_idx, + uint16_t class_def_idx, + const DexFile& dex_file) const; + SwapVector* DeduplicateCode(const ArrayRef& code); SwapSrcMap* DeduplicateSrcMappingTable(const ArrayRef& src_map); SwapVector* DeduplicateMappingTable(const ArrayRef& code); -- cgit v1.2.3-59-g8ed1b