Welcome to the GBF Test Portal

function test_multi_dimensional()
{
    lit#4 = 3;
    lit#5 = 3;
    lit#6 = 0;
    lit#7 = 1;
    lit#8 = 1;
    lit#9 = 0;
    temp.arr = {{lit#4, lit#5}, {lit#6, lit#7}, {lit#8, lit#9}};
    lit#11 = 0;
    lit#12 = 1;
    temp.access = temp.arr[lit#11][lit#12];
    lit#13 = 0;
    for (phi<idx=0, regions=()> : phi<idx=1, regions=()>) 
    {
        fn_call#14 = temp.elem(echo#2);
        lit#15 = 0;
        fn_call#16 = temp.elem[lit#15](echo#2);
        phi<idx=0, regions=()>++;
    }
    lit#17 = 0;
    return lit#17;
}