Unreachable Code

static void funcUnReach (int i)
{
    if (i)
    {
        i = 1;
    }
    goto Bad;


    if (i)
    {
    i = 2;
    }


    Bad:
    if (i)
    {
        i = 3;
    }
    return;
}

The raised red section represents code that is unreachable.

The structure and approximate position of the unreachable code is shown. It occurs after the first if condition and before the last if condition. Its position above the main structure shows that the control flow misses the middle if condition.

• Components of Function Structure
• Perforce QAC Documentation