Merge pull request #1494 from liushengahn/Fix-Issue-1493

fix issue 1493
SVF-tools · Jun 25, 2024 · 369c052 · 369c052
2 parents c82e4e0 + 1248747
commit 369c052
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/svf-llvm/lib/ICFGBuilder.cpp b/svf-llvm/lib/ICFGBuilder.cpp
@@ -122,7 +122,7 @@ void ICFGBuilder::processFunBody(WorkList& worklist)
 
                 if (const BranchInst* br = SVFUtil::dyn_cast<BranchInst>(inst))
                 {
-                    assert(branchID <= 2 && "if/else has more than two branches?");
+                    assert(branchID <= 1 && "if/else has more than two branches?");
                     if(br->isConditional())
                         icfg->addConditionalIntraEdge(srcNode, dstNode, LLVMModuleSet::getLLVMModuleSet()->getSVFValue(br->getCondition()), 1 - branchID);
                     else

diff --git a/svf-llvm/lib/SVFIRBuilder.cpp b/svf-llvm/lib/SVFIRBuilder.cpp
@@ -939,7 +939,7 @@ void SVFIRBuilder::visitBranchInst(BranchInst &inst)
     u32_t branchID = 0;
     for (const Instruction* succInst : nextInsts)
     {
-        assert(branchID <= 2 && "if/else has more than two branches?");
+        assert(branchID <= 1 && "if/else has more than two branches?");
         const SVFInstruction* svfSuccInst = LLVMModuleSet::getLLVMModuleSet()->getSVFInstruction(succInst);
         const ICFGNode* icfgNode = pag->getICFG()->getICFGNode(svfSuccInst);
         successors.push_back(std::make_pair(icfgNode, 1-branchID));