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

fix expression substitution #46

Merged
Alexander_KS merged 1 commits from subst_expr_rd into master 2024-05-25 14:39:51 +00:00
Conversation 0 Commits 1 Files Changed 1 +3 -2
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1235,8 +1235,9 @@ bool isArgReaches(int decl_instr, SAPFOR::BasicBlock* decl_bb,
if (RDs_for_arg.size() == 1)
{
const int rd = *RDs_for_arg.begin();
if (rd >= decl_bb->getInstructions().front()->getNumber() && rd < decl_instr)
return true;
if (rd >= decl_bb->getInstructions().front()->getNumber() &&
rd <= decl_bb->getInstructions().back()->getNumber())
return rd < decl_instr;
}
auto arg_in_from_decl_it = decl_bb->getRD_In().find(arg);