Современные компиляторы удаляют неиспользуемые участки кода после применения goto, потому что оператор goto препятствует оптимизации, выполняемой компилятором. 14
Некоторые виды оптимизации зависят от порядка выполнения нескольких выражений подряд. 1 Безусловный переход goto усложняет анализ кода и уменьшает возможность оптимизации компилятором. 1