Использует ли goto для Escape Control Structures когда-либо разные сборки?

Есть много споров о goto Команда, этот вопрос не о правильности или неправильности его использования, а более просто вопрос о том, создает ли он когда-либо другую сборку.

Я специально смотрю на Visual Studio 2013, но пример в любом компиляторе был бы замечательным.

Бьярне Страуструп утверждает:

Область действия метки — это функция, в которой она находится (§6.3.4). Это подразумевает, что вы можете использовать goto прыгать в и из блоков. Единственным ограничением является то, что вы не можете перепрыгнуть через инициализатор или обработчик исключений (§13.5).
Один из немногих разумных применений goto в обычном коде вырваться из вложенного цикла или switch-заявление.

Тогда мой вопрос: есть ли экземпляр, в котором goto все еще производит сборку, отличную от той, что уже может быть достигнута с использованием других структур управления?

Например, это производит идентичную сборку:

auto r = rand();
auto a = 0;

for(auto i = rand(); i > 0; --i){
switch(r){
case 1:
++sum;
goto END;
case default:
sum += rand();
break;
}
}
sum++;
END:

Для этого неgoto код:

auto r = rand();
auto b = false;
auto a = 0;

for(auto i = rand(); i > 0; --i){
switch(r){
case 1:
++sum;
b = true;
break;
case default:
sum += rand();
break;
}
if(b)break;
}

if(!b)sum++;