refactor 1. create constant var/obj in SVFIRBuilder

SVF-tools · Dec 8, 2024 · 36bdd53 · 36bdd53
1 parent 1ac65e0
commit 36bdd53
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/svf/include/SVFIR/SVFIR.h b/svf/include/SVFIR/SVFIR.h
@@ -641,26 +641,23 @@ class SVFIR : public IRGraph
             return addObjNode(mem->getValue(), node, mem->getId());
         }
         // constNullptr
-        else if (const SVFConstantNullPtr* constNullPtr =
-                     SVFUtil::dyn_cast<SVFConstantNullPtr>(curInst)) {
+        else if (SVFUtil::isa<SVFConstantNullPtr>(curInst)) {
             SVFVar* node = new ConstantNullPtrObjVar(mem->getId(), mem);
             return addObjNode(mem->getValue(), node, mem->getId());
         }
 
-        else if (const SVFGlobalValue* globalVal =
-                     SVFUtil::dyn_cast<SVFGlobalValue>(curInst))
+        else if (SVFUtil::isa<SVFGlobalValue>(curInst))
         {
             GlobalValueObjVar* node = new GlobalValueObjVar(mem->getId(), mem);
             return addObjNode(mem->getValue(), node, mem->getId());
         }
 
-        else if (const SVFConstantData* dataVal = SVFUtil::dyn_cast<SVFConstantData>(curInst)) {
+        else if (SVFUtil::isa<SVFConstantData>(curInst)) {
             ConstantDataObjVar* node = new ConstantDataObjVar(mem->getId(), mem);
             return addObjNode(mem->getValue(), node, mem->getId());
         }
 
-        else if (const SVFConstant* constVal =
-                    SVFUtil::dyn_cast<SVFConstant>(curInst))
+        else if (SVFUtil::isa<SVFConstant>(curInst))
         {
             ConstantObjVar* node = new ConstantObjVar(mem->getId(), mem);
             return addObjNode(mem->getValue(), node, mem->getId());