OSDN Git Service

ART: Add simple null alias tracking for lock counting
authorAndreas Gampe <agampe@google.com>
Wed, 14 Oct 2015 19:55:48 +0000 (12:55 -0700)
committerAndreas Gampe <agampe@google.com>
Thu, 15 Oct 2015 17:14:12 +0000 (10:14 -0700)
commit895bb5fb268774d0fa18515a9e905ae8854cdca5
treec0afce2454ee50ef15e441245abc36d7eb41eb14
parentd5a69fc429f57bf528aa061618d3ae94ee8deb24
ART: Add simple null alias tracking for lock counting

Null is the only literal for objects, and one may lock and unlock
on different registers containing null, which is still balanced.

Bug: 23502994
Change-Id: Ibfbf1b8c2aa7d1409e3e426988d2d15efe1f2d0d
runtime/verifier/register_line.cc
test/088-monitor-verification/smali/NullLocks.smali [new file with mode: 0644]
test/088-monitor-verification/src/Main.java