search

SimpleProgramAnalyser / spa

A CMake Windows program for a SIMPLE language
GNU General Public License v3.0
3 stars 0 forks source link

Make sure NextBip* returns correct results for out-of-bounds #154

Closed alcen closed 4 years ago

alcen commented 4 years ago

Due to how PKB::getContainingProcedures works after #153, it may give a procedure name even if the statement is not in the program.

This does not affect AffectsBip as check for getStatementType will be done before any statement number is called with getContainingProcedures (which returns NonExistentType if out-of-bounds), but NextBip may not have such checks

alcen commented 4 years ago

Seems like this is handled as of latest main!