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#9, lit#8}, {lit#7, lit#6}, {lit#5, lit#4}};
    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 = echo#2(temp.elem);
        lit#15 = 0;
        fn_call#16 = echo#2(temp.elem[lit#15]);
        phi<idx=0, regions=()>++;
    }
    lit#17 = 0;
    return lit#17;
}