fix valueonlystring

SVF-tools · Jan 21, 2025 · 14d9f64 · 14d9f64
1 parent 4ee012f
commit 14d9f64
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 4 deletions.
diff --git a/svf-llvm/lib/LLVMUtil.cpp b/svf-llvm/lib/LLVMUtil.cpp
@@ -753,11 +753,26 @@ const std::string SVFBaseNode::valueOnlyToString() const
     }
     else
     {
-        auto llvmVal = LLVMModuleSet::getLLVMModuleSet()->getLLVMValue(this);
-        if (llvmVal)
-            rawstr << " " << *llvmVal << " ";
-        else
+        const SVFBaseNode* baseNode = this;
+        if (const GepValVar* valVar = SVFUtil::dyn_cast<GepValVar>(this))
+        {
+            baseNode = valVar->getBaseNode();
+        }
+        else if (const GepObjVar* objVar = SVFUtil::dyn_cast<GepObjVar>(this))
+        {
+            baseNode = objVar->getBaseObj();
+        }
+        if (SVFUtil::isa<DummyObjVar, DummyValVar, BlackHoleVar>(baseNode))
             rawstr << "";
+        else
+        {
+            auto llvmVal =
+                LLVMModuleSet::getLLVMModuleSet()->getLLVMValue(baseNode);
+            if (llvmVal)
+                rawstr << " " << *llvmVal << " ";
+            else
+                rawstr << "";
+        }
     }
     rawstr << getSourceLoc();
     return rawstr.str();

diff --git a/svf/include/SVFIR/SVFVariables.h b/svf/include/SVFIR/SVFVariables.h
@@ -515,6 +515,10 @@ class GepValVar: public ValVar
     {
         return node->getNodeKind() == SVFVar::GepValNode;
     }
+    static inline bool classof(const SVFBaseNode* node)
+    {
+        return node->getNodeKind() == SVFVar::GepValNode;
+    }
     //@}
 
     /// Constructor