static void funcUnReach (int i)
{
if (i)
{
i = 1;
}
goto Bad;
if (i)
{
i = 2;
}
Bad:
if (i)
{
i = 3;
}
return;
}浮き上がっている赤の部分は、到達しないコードを表しています。
到達不能コードの構造とそのおよその位置が示されています。 その位置は、最初の if条件の後から最後の if条件の前までの間になります。 主構造の上となるその位置は、制御フローが中央のif条件を通過しないことを示しています。