commit b89bd11119b9981f4e5e4db840e580bb228f290c
author Andy McFadden <fadden@android.com> Thu May 27 16:09:04 2010 -0700
committer Andy McFadden <fadden@android.com> Fri May 28 07:41:43 2010 -0700
tree debd0022af5553c661af46daef2442553eead144
parent f0fc908ede1d8298e2da94bc1b2d604d5e95ab5b

Branch-to-self is a backward branch.

Teach the verifier to identify branch-to-self as a backward branch,
which makes the instruction a GC point and worthy of a register map.

For bug 2702514.

Change-Id: Id5b26220db8008adbb2b5b7f69894a7704a0b559

vm/analysis/DexVerify.c

diff --git a/vm/analysis/DexVerify.c b/vm/analysis/DexVerify.c
index 9309a11..3793a4e 100644
--- a/vm/analysis/DexVerify.c
+++ b/vm/analysis/DexVerify.c
@@ -505,7 +505,7 @@
             int offset = -1;
             bool unused;
             if (dvmGetBranchTarget(meth, insnFlags, i, &offset, &unused)) {
-                if (offset < 0) {
+                if (offset <= 0) {
                     dvmInsnSetGcPoint(insnFlags, i, true);
                 }
             } else {