refactor 1. create constant var/obj in SVFIRBuilder

SVF-tools · Dec 8, 2024 · 58b5cef · 58b5cef
1 parent 1ac65e0
commit 58b5cef
Showing 1 changed file with 8 additions and 13 deletions.
diff --git a/svf/include/SVFIR/SVFIR.h b/svf/include/SVFIR/SVFIR.h
@@ -593,25 +593,23 @@ class SVFIR : public IRGraph
             return addNode(node,i);
         }
         // constNullptr
-        else if (const SVFConstantNullPtr* constNullPtr =
-                     SVFUtil::dyn_cast<SVFConstantNullPtr>(curInst)) {
+        else if (SVFUtil::isa<SVFConstantNullPtr>(curInst)) {
             SVFVar* node = new ConstantNullPtrValVar(i, icfgNode);
             return addNode(node,i);
         }
 
-        else if (const SVFGlobalValue* globalVal =
-                     SVFUtil::dyn_cast<SVFGlobalValue>(curInst))
+        else if (SVFUtil::isa<SVFGlobalValue>(curInst))
         {
             SVFVar* node = new GlobalValueValvar(i, icfgNode);
             return addNode(node,i);
         }
 
-        else if (const SVFConstantData* dataVal = SVFUtil::dyn_cast<SVFConstantData>(curInst)) {
+        else if (SVFUtil::isa<SVFConstantData>(curInst)) {
             SVFVar* node = new ConstantDataValVar(i, icfgNode);
             return addNode(node,i);
         }
 
-        else if (const SVFConstant* constVal = SVFUtil::dyn_cast<SVFConstant>(curInst))
+        else if (SVFUtil::isa<SVFConstant>(curInst))
         {
             SVFVar* node = new ConstantValVar(i, icfgNode);
             return addNode(node, i);
@@ -641,26 +639,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());