GBF

Welcome to the GBF Test Portal

This was built to track decompiler and CFG progress.

Decompiler Output

function ifWithElse(a#0)
{
    <temp.res>#4 = "";
    // RegionId(2)
    if (a#0) 
    {
        <temp.res>#5 = <temp.res>#3 + "a";
    }
    // RegionId(1)
    else
    {
        <temp.res>#6 = <temp.res>#3 + "A";
    }
    <temp.res>#7 = <temp.res>#3 + "b";
    return <temp.res>#3;
}