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

fix expression substitution

Browse Source
This commit is contained in:
Mikhail Kocharmin
2024-05-25 15:37:38 +03:00
parent 17de9e271a
commit 083a1f5189
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);