tree 30653169fe2fda5ac7e8ff61a5756c70189138ac
parent 823b343c2a5a6ac91d81d993759f4aabdcf32782
author Mathias Rav <mathiasr@google.com> 1528376778 +0200
committer Mathias Rav <mathiasr@google.com> 1528376778 +0200

CF frontend for testing: Handle state transfer for throw-instruction

Since CfThrow is considered a control-flow instruction, we must perform
the exceptional transfer before checking for control-flow instructions.

This bug is covered by the 'inlining' example, which is added to the two
CF frontend tests CfFrontendExamplesTest and R8RunExamplesTest.

Change-Id: I0eced19aad23727b678215ba90da137e28e47b31