Affects BIP: Call in if/else will crash the Evaluator

SimpleProgramAnalyser / spa

A CMake Windows program for a SIMPLE language

GNU General Public License v3.0

3 stars 0 forks source link

Closed alcen closed 4 years ago

alcen commented 4 years ago

procedure mainPrint {
    read x;
}

procedure readPoint {
    if (a == 1) then {
        a = 1;
    } else {
        call mainPrint;
    }
}

Nullptr exception when this query is run

stmt s, s1; Select <s, s1> such that AffectsBip(s, s1)

alcen commented 4 years ago

Hopefully this will be fixed when CFG (BIP) provides a method to get the joining node!

Edit: #160