diff options
| author | Stephen Kyle <stephen.kyle@arm.com> | 2014-09-22 13:53:15 +0100 |
|---|---|---|
| committer | Stuart Monteith <stuart.monteith@arm.com> | 2014-09-24 17:48:19 +0100 |
| commit | 9bc6199a9a6e140102951f6f38845b43b561af83 (patch) | |
| tree | 31a9fbba4960a6e5ee691028108e2e540ecacde0 /compiler/dex/local_value_numbering_test.cc | |
| parent | 5957d54ac0de8a318dbc5a163734f877b1185e38 (diff) | |
| download | art-9bc6199a9a6e140102951f6f38845b43b561af83.zip art-9bc6199a9a6e140102951f6f38845b43b561af83.tar.gz art-9bc6199a9a6e140102951f6f38845b43b561af83.tar.bz2 | |
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>
Diffstat (limited to 'compiler/dex/local_value_numbering_test.cc')
0 files changed, 0 insertions, 0 deletions