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

fix issue 1493

Author: yuleisui

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

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));