Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • opensrc/SMPStaticAnalyzer
1 result
Show changes
Commits on Source (1)
Hide whitespace changes
Inline Side-by-side
src/base/SMPFunction.cpp
View file @ b4337173
......@@ -13887,12 +13887,27 @@ bool SMPFunction::SolveConditionalDomFrontierProblemViaCloning(const int HeadBlo
}
else if (GoodFTCount && GoodNFTCount && (NewFTDomFrontierBlockNum == NewNFTDomFrontierBlockNum)) {
// Both branches have a side entry, and they converge neatly if we clone on both branches.
SMP_msg("INFO: SPARK: CLONING 5: Cloning doubly from %d and %d to %d would solve DomFrontier non-convergence for HeadBlock %d ", FTDomFrontierBlockNum, NFTDomFrontierBlockNum, NewFTDomFrontierBlockNum, HeadBlockNum);
this->DumpFuncNameAndAddr();
this->DumpDotCFG();
this->ResetTCFGVisitedBlocks();
set<int> BlockNumsToClone;
set<int> BlockNumsToClone2;
FollowBlockNum = NewFTDomFrontierBlockNum;
CloningStructuresConditional = true;
bool SafeCloning = this->IsCloningSafe(FTDomFrontierBlockNum, FollowBlockNum, BlockNumsToClone);
if (SafeCloning) {
this->ResetTCFGVisitedBlocks();
SafeCloning = this->IsCloningSafe(NFTDomFrontierBlockNum, FollowBlockNum, BlockNumsToClone2);
if (SafeCloning) {
pair<int, int> UnlinkLimitPair(NFTBlockNum, FollowBlockNum);
pair<int, pair<int, int> > CloningWorkListItem(NFTDomFrontierBlockNum, UnlinkLimitPair);
this->SPARKCloningWorkList.push_back(CloningWorkListItem);
pair<int, int> UnlinkLimitPair2(FTBlockNum, FollowBlockNum);
pair<int, pair<int, int> > CloningWorkListItem2(FTDomFrontierBlockNum, UnlinkLimitPair2);
SMP_msg("INFO: SPARK: CLONING 5: Cloning doubly from %d and %d to %d would solve DomFrontier non-convergence for HeadBlock %d ", FTDomFrontierBlockNum, NFTDomFrontierBlockNum, NewFTDomFrontierBlockNum, HeadBlockNum);
this->DumpFuncNameAndAddr();
this->DumpDotCFG();
this->ResetTCFGVisitedBlocks();
CloningStructuresConditional = true;
}
}
}
 
// Don't return true or set FollowBlockNum until we are ready to clone.