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

private_removing: fix bugreport_1712578151

Browse Source
This commit is contained in:
Grigorii Gusev
2024-04-08 17:51:50 +03:00
parent aa0a464ead
commit 1e5ae1ef80
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
sapfor/experts/Sapfor_2017/_src/Transformations/private_removing.cpp
View File

@@ -1642,6 +1642,9 @@ static vector<DefUseStmtsPair> buildDefUsePairs(Context* ctx, const CFG_Type& CF
for (auto& instruction : blockInstructionsVector) for (auto& instruction : blockInstructionsVector)
{ {
SgStatement* stmt = instruction->getInstruction()->getOperator(); SgStatement* stmt = instruction->getInstruction()->getOperator();
if (stmt == useInsertedStmt.insertedStmt)
break;
if (stmt->variant() == ASSIGN_STAT if (stmt->variant() == ASSIGN_STAT
&& stmt->expr(0)->symbol()->identifier() == defVarName && stmt->expr(0)->symbol()->identifier() == defVarName
&& !isVarChangedBetween(defVarName, stmt, useInsertedStmt.insertedStmt)) && !isVarChangedBetween(defVarName, stmt, useInsertedStmt.insertedStmt))