case の比較順序が未規定だから

switch(x)
{
case func1(): goto L1;
case func2(): goto L2;
}
goto L3;

L1: //func2() が実行されたかどうかわからない
L2: //func1() が実行されたかどうかわからない

L3:

# 配列やグローバルの話に飛ぶ必要はない