tree f71b33bf46053e0ccbd191ac74a850e87145eb98
parent 706ea6a0294ef8bc3def050142c548c082fa8e30
author Andreas Gampe <agampe@google.com> 1440519757 -0700
committer Andreas Gampe <agampe@google.com> 1440697992 -0700

ART: Balanced locking

Change the verifier to check for balanced locking. When balanced
locking can't be guaranteed, use a new failure kind to punt to
the interpreter.

Add smali tests, with JNI code to check the balanced-locking result.

Bug: 23502994
Change-Id: Icd7db0be20ef2f69f0ac784de43dcba990035cd8