Merge pull request #1595 from jumormt/11.13fix

remove casting to intraicfgnode when allocating branch condition
SVF-tools · Nov 13, 2024 · d3e99a5 · d3e99a5
2 parents 2c256b6 + 865816e
commit d3e99a5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/svf/lib/SABER/SaberCondAllocator.cpp b/svf/lib/SABER/SaberCondAllocator.cpp
@@ -102,8 +102,7 @@ void SaberCondAllocator::allocateForBB(const SVFBasicBlock &bb)
         std::vector<Condition> condVec;
         for (u32_t i = 0; i < bit_num; i++)
         {
-            const IntraICFGNode* svfInst = cast<IntraICFGNode>(bb.back());
-            condVec.push_back(newCond(svfInst));
+            condVec.push_back(newCond(bb.back()));
         }
 
         // iterate each successor