admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

RestructureCFG: fix NDuplicates

Browse Source
This commit is contained in:
Pietro Fezzardi
2020-10-30 01:12:03 +01:00
parent 27f850e433
commit 2b599d0ebc
3 changed files with 113 additions and 62 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/Decompiler/MarkForSerialization.cpp
+4 -2
View File
@@ -102,8 +102,10 @@ Analysis::InterruptType Analysis::transfer(BasicBlock *BB) {
continue;
}
Instruction *UserI = cast<Instruction>(U);
if (NBBDuplicates != NDuplicates.at(UserI->getParent())) {
// revng_assert(NBBDuplicates < NDuplicates.at(UserI->getParent()));
auto *UserBB = UserI->getParent();
auto NUserDuplicates = NDuplicates.at(UserBB);
revng_assert(isa<PHINode>(UserI) or NBBDuplicates <= NUserDuplicates);
if (NBBDuplicates < NUserDuplicates) {
markValueToSerialize(&I);
} else {
Pending.insert(&I);