tree 31a9fbba4960a6e5ee691028108e2e540ecacde0
parent 5957d54ac0de8a318dbc5a163734f877b1185e38
author Stephen Kyle <stephen.kyle@arm.com> 1411390395 +0100
committer Stuart Monteith <stuart.monteith@arm.com> 1411577299 +0100

ART: Reject branch/switch/throw to move-result.

move-result* instructions must occur after invoke instructions,
however it was still possible to branch or switch to a move-result*
instruction with creative DEX manipulation. The verifier now rejects
this situation, as well as having a move-result* instruction as the
first instruction in a try block's handler. This now ensures that
move-result* must happen dynamically after an invoke, not just
statically.

Change-Id: Ida97852f4051310fdaf38bed1d6e1c5a541c85c5
Signed-off-by: Stephen Kyle <stephen.kyle@arm.com>