Почему современные компиляторы обычно удаляют неиспользуемые участки кода после применения goto?

Современные компиляторы удаляют неиспользуемые участки кода после применения goto, потому что оператор goto препятствует оптимизации, выполняемой компилятором. vk.com ru.wikipedia.org

Некоторые виды оптимизации зависят от порядка выполнения нескольких выражений подряд. vk.com Безусловный переход goto усложняет анализ кода и уменьшает возможность оптимизации компилятором. vk.com