Welcome to the GBF Test Portal

function ifWithElseIfWithoutElse(a#2, b#1, c#0)
{
    lit#5 = "";
    temp.res = lit#5;
    // RegionId(0)
    // RegionId(1)
    if (a#2) 
    {
        lit#6 = "a";
        temp.res = temp.res + lit#6;
    }
    // RegionId(2)
    else
    {
        // RegionId(2)
        // RegionId(3)
        if (b#1) 
        {
            lit#7 = "b";
            temp.res = temp.res + lit#7;
        }
        // RegionId(4)
        else
        {
            // RegionId(4)
            // RegionId(5)
            if (c#0) 
            {
                lit#8 = "c";
                temp.res = temp.res + lit#8;
            }
        }
    }
    lit#9 = "d";
    temp.res = temp.res + lit#9;
    return temp.res;
}