Fix self-verification with backward branches or invokes.

Bug: 4282508
Change-Id: Ifde257af9d510ba15382ff5980793e7ad2678436
1 file changed