Commit 9bc6199a authored by Stephen Kyle's avatar Stephen Kyle Committed by Stuart Monteith
Browse files

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: default avatarStephen Kyle <stephen.kyle@arm.com>
parent 5957d54a
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment