Fix self-verification with backward branches or invokes.

Bug: 4282508
Change-Id: Iae9d33fd3dc97e88a465fa3128f5108c877470e9
1 file changed