tree 19e0927268673f26fc1456ec6b3317eef7bdf305
parent e74493cbc8f33bfd53b792f98f135d3db680f029
author Andreas Gampe <agampe@google.com> 1440475988 -0700
committer Andreas Gampe <agampe@google.com> 1440519240 -0700

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