Local fix

N/A

Problem summary

The JIT compiler attempted to walk and generate code for
bytecode only accessible via exception handlers that were
unreachable. Unreachable bytecodes are not required to pass
verification. In cases where the unreachable bytecode is
invalid, the JIT would crash walking the malformed bytecode.

Problem conclusion

This defect will be fixed in:
5.0.0 SR15
.
The JIT bytecode walker now correctly determines the
reachability of the bytecode in cases when it is only accessible
via exception handling and does not process incorrect
unreachable paths.