| 136 | }; |
| 137 | |
| 138 | inline bool IsThrowingDexInstruction(const Instruction& instruction) { |
| 139 | // Special-case MONITOR_EXIT which is a throwing instruction but the verifier |
| 140 | // guarantees that it will never throw. This is necessary to avoid rejecting |
| 141 | // 'synchronized' blocks/methods. |
| 142 | return instruction.IsThrow() && instruction.Opcode() != Instruction::MONITOR_EXIT; |
| 143 | } |
| 144 | |
| 145 | } // namespace art_lkchan |
| 146 |