CFG BIP: while has 3 child nodes (1 empty)

SimpleProgramAnalyser / spa

A CMake Windows program for a SIMPLE language

GNU General Public License v3.0

3 stars 0 forks source link

CFG BIP: while has 3 child nodes (1 empty) #155

Closed alcen closed 4 years ago

alcen commented 4 years ago

procedure mainPrint {
    if ((x < y) && (y < z)) then {
        a = x + y * z;
    } else {
        read w;
    }
    while (x > y) {
        print p;
    }
}

procedure computeCentroid {
    call mainPrint;
    call mainPrint;
}

The while node for statement 4 points to 3 other nodes (one child node has no children and no statements)