Это единственный случай, когда достижимый goto указывает на недостижимый ярлык?

Question

Вдохновленный от вопроса

• What is a non-reachable end point(unreachable endpoint) of a statement?

И прежде, чем я задаю этот вопрос, я прочитал:

• C# Puzzle : Reachable goto pointing to an unreachable label
• Why does this "finally" execute?

задача в вопросе

написать программу, которая имеет достижимый оператор Гото, но соответствующий помеченный оператор недостижим - Эрик Липперт

и один выполнимый ответ как

// the 3 lines are not important but declare variable for afterwards use 
    var whateverException=new Exception("whatever exception"); 
    var whateverAction=default(Action); 
    whateverAction=() => whateverAction(); 

try { 
     goto whateverLabel; // (1) the goto is reachable 
    } 
    finally { 
     throw whateverException; // (3) because finally hijacks 
    } 

whateverLabel: // (2) but the label is not really reached 
    whateverAction(); 

Мне интересно, что в одной программе потока, - это единственный случай, когда достижимый goto указывает на недостижимый ярлык? И следующий код также считается приемлемым для этого?

here: 
    int d=0, n=1/d; 
    goto here; 

Answer 1

finally -blocked goto Хитрость заключается в том, единственным способом получить достижимые Гото, что цели недостижимой метки.