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

fixed cyclic deletion

Browse Source
This commit is contained in:
ALEXks
2024-04-15 09:31:25 +03:00
parent d8bd2ec43a
commit b2693b655a
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -574,13 +574,17 @@ int removeDeadCode(SgStatement* func,
break; break;
} }
bool mainRemoved = false;
for (auto& rem : remove) for (auto& rem : remove)
{ {
__spf_print(PRINT_USELESS_STATEMENTS, "[Useless block statement on line %d and file %s]\n", rem->lineNumber(), rem->fileName()); __spf_print(PRINT_USELESS_STATEMENTS, "[Useless block statement on line %d and file %s]\n", rem->lineNumber(), rem->fileName());
rem->deleteStmt(); rem->deleteStmt();
if (rem == start)
mainRemoved = true;
} }
countOfTransform += remove.size(); countOfTransform += remove.size();
if (mainRemoved)
break;
} while (remove.size()); } while (remove.size());
deleteCFG(cfg); deleteCFG(cfg);

2
sapfor/experts/Sapfor_2017/_src/Utils/version.h
View File

@@ -1,3 +1,3 @@
#pragma once #pragma once
#define VERSION_SPF "2319" #define VERSION_SPF "2320"