Как можно встраивать методы, генерирующие исключения?

Мне просто любопытно, как это возможно для Java JVM иногда встраивать методы, которые могут генерировать исключения. Я предполагаю, что это возможно встроить хотя бы некоторые из таких методов (например, те, которые имеют доступ к массиву и, следовательно, могут вызвать ArrayIndexOutOfBoundsException s). Я вижу проблему в том, что если исключение действительно возникает, как вы показываете правильный трассировка стека, если вы встроили метод? Поскольку разные методы могут быть встроены на разных машинах, как встраивание не нарушает механизм трассировки стека?