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

Merge pull request 'fix expression substitution' (#46) from subst_expr_rd into master

Browse Source
This commit was merged in pull request #46.
This commit is contained in:
Alexander_KS
2024-05-25 14:39:51 +00:00
parent e9774ebc46 083a1f5189
commit b8b2c6baa7
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);