Welcome to the GBF Test Portal

function switchWithMultipleCasesPerNode()
{
    <temp.server>#3 = "classicplus";
    // RegionId(0)
    // RegionId(6)
    // Unresolved nodes:
    // idx=0: temp.server
    if (!(<temp.server>#3 == "classic")) 
    {
        // RegionId(7)
        if (!(<temp.server>#3 == "classicplus")) 
        {
            // RegionId(7)
            // Unresolved nodes:
            // idx=0: temp.server
            // RegionId(8)
            // Unresolved nodes:
            // idx=0: temp.server
            if (!(<temp.server>#3 == "delteria")) 
            {
                // RegionId(9)
                if (!(<temp.server>#3 == "delteriaplus")) 
                {
                    // RegionId(9)
                    // Unresolved nodes:
                    // idx=0: temp.server
                    // RegionId(10)
                    // Unresolved nodes:
                    // idx=0: temp.server
                    if (!(<temp.server>#3 == "foo")) 
                    {
                        <this.loginserver>#7 = "loginserver.graalonline.com:14900";
                    }
                    // RegionId(3)
                    // Unresolved nodes:
                    // idx=0: temp.server
                    else
                    {
                        <this.loginserver>#8 = "loginfoo1.graalonline.com:14900";
                    }
                    goto RegionId(11);
                }
            }
            <this.loginserver>#9 = "logindelteria1.graalonline.com:14900";
            builtin_fn_call#13 = this.loginserver.pos(":");
            <temp.i>#14 = builtin_fn_call#13;
            builtin_fn_call#17 = this.loginserver.substring(0, <temp.i>#14);
            <this.loginhost>#18 = builtin_fn_call#17;
            builtin_fn_call#21 = this.loginserver.substring(<temp.i>#14 + 1, 255);
            <this.loginport>#22 = builtin_fn_call#21;
            return 0;
        }
    }
    <this.loginserver>#10 = "loginclassic1.graalonline.com:14900";
    goto RegionId(11);
}