Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

expression substitution: hotfix for recent commits (typo at condition) #26

Merged
Alexander_KS merged 1 commits from dead_code_removing into master 2024-02-03 05:58:28 +00:00
Conversation 0 Commits 1 Files Changed 1 +1 -1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sapfor/experts/Sapfor_2017/_src/CFGraph/RD_subst.cpp
View File

@@ -1287,7 +1287,7 @@ bool isArgReaches(int decl_instr, SAPFOR::BasicBlock* decl_bb,
reachable = banned_blocks; reachable = banned_blocks;
worklist = reachable; worklist = reachable;
while (worklist.size() != 0 || banned_instructions.size() == 0) while (worklist.size() != 0 && banned_instructions.size() != 0)
{ {
if(worklist.find(dest_bb) != worklist.end()) if(worklist.find(dest_bb) != worklist.end())
return false; return false;