Closed this issue 4 years ago · 1 comments
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)
Hopefully this will be fixed when CFG (BIP) provides a method to get the joining node!
Edit: #160