GBF

Welcome to the GBF Test Portal

This was built to track decompiler and CFG progress.

Decompiler Output

function ifWithElseIfNested(a#2, b#1, c#0)
{
    <temp.res>#6 = "";
    // RegionId(3)
    if (a#2) 
    {
        <temp.res>#7 = <temp.res>#5 + "a";
        // RegionId(2)
        if (b#1) 
        {
            <temp.res>#8 = <temp.res>#5 + "a-inner-b";
        }
    }
    // RegionId(1)
    else
    {
        // RegionId(6)
        if (b#1) 
        {
            <temp.res>#9 = <temp.res>#5 + "b";
            // RegionId(5)
            if (c#0) 
            {
                <temp.res>#10 = <temp.res>#5 + "b-inner-c";
            }
        }
        // RegionId(4)
        else
        {
            // RegionId(8)
            if (c#0) 
            {
                <temp.res>#11 = <temp.res>#5 + "c";
            }
            // RegionId(7)
            else
            {
                <temp.res>#12 = <temp.res>#5 + "d";
                // RegionId(9)
                if (a#2) 
                {
                    <temp.res>#13 = <temp.res>#5 + "d-inner-a";
                }
            }
        }
    }
    <temp.res>#14 = <temp.res>#5 + "e";
    return <temp.res>#5;
}