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

dead code: removing of if-else statement #37

Merged
Alexander_KS merged 2 commits from dead_code_removing into master 2024-04-06 15:01:12 +00:00
Conversation 0 Commits 2 Files Changed 1 +9 -5
1 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
sapfor/experts/Sapfor_2017/_src/Transformations/dead_code.cpp
View File

@@ -527,20 +527,24 @@ void removeDeadCode(SgStatement* func,
for (auto st = start; st != end; st = st->lexNext()) for (auto st = start; st != end; st = st->lexNext())
{ {
const int var = st->variant(); const int var = st->variant();
if ((var == FOR_NODE || var == WHILE_NODE || var == IF_NODE || var == SWITCH_NODE) && if ((var == FOR_NODE || var == WHILE_NODE || var == SWITCH_NODE) &&
st->lexNext()->variant() == CONTROL_END) st->lexNext()->variant() == CONTROL_END)
{ {
remove.push_back(st); remove.push_back(st);
continue;
} }
else if (var == IF_NODE)
if (var == IF_NODE)
{ {
SgStatement* ifS = st; SgStatement* ifS = st;
while (ifS->lexNext()->variant() == ELSEIF_NODE) while (ifS->lexNext()->variant() == ELSEIF_NODE)
ifS = ifS->lexNext(); ifS = ifS->lexNext();
if (ifS->lexNext()->variant() == CONTROL_END) SgStatement* lastNode = ifS->lastNodeOfStmt();
ifS = ifS->lexNext();
while (ifS->variant() == CONTROL_END && ifS != lastNode)
ifS = ifS->lexNext();
if(ifS == lastNode)
remove.push_back(st); remove.push_back(st);
} }