OSDN Git Service

(root) / android-x86 / art.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e74493c) | patch
ART: Add option to retain lock levels in verifier
authorAndreas Gampe <agampe@google.com>
Tue, 25 Aug 2015 04:13:08 +0000 (21:13 -0700)
committerAndreas Gampe <agampe@google.com>
Tue, 25 Aug 2015 16:14:00 +0000 (09:14 -0700)
commitad238ce884468234509a9367c0ce1055bd1394bf
tree19e0927268673f26fc1456ec6b3317eef7bdf305tree | snapshot
parente74493cbc8f33bfd53b792f98f135d3db680f029commit | diff
ART: Add option to retain lock levels in verifier

Templatize SetRegisterType to be able to retain lock levels. When
sharpening a type, e.g., in a branch after an instanceof, the
verifier should remember if the register had been locked before
and not implicitly erase that information.

Bug: 23502994
Change-Id: Iba62688a536792da0920598fecdbf24a4993ec04
runtime/verifier/method_verifier.cc diff | blob | history
runtime/verifier/register_line-inl.h diff | blob | history
runtime/verifier/register_line.cc diff | blob | history
runtime/verifier/register_line.h diff | blob | history
test/800-smali/expected.txt diff | blob | history
test/800-smali/smali/b_23502994.smali [new file with mode: 0644] blob
test/800-smali/src/Main.java diff | blob | history
art
About OSDN
Find Software
Develop Software
Help