Merge pull request #1601 from jumormt/12.4fix

fix using getvalue when dumping constraintgraph
SVF-tools · Dec 4, 2024 · 1464994 · 1464994
2 parents 07d6570 + 8b08250
commit 1464994
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/svf/lib/Graphs/ConsG.cpp b/svf/lib/Graphs/ConsG.cpp
@@ -786,7 +786,7 @@ struct DOTGraphTraits<ConstraintGraph*> : public DOTGraphTraits<SVFIR*>
         {
             // print the whole value
             if (!SVFUtil::isa<DummyValVar>(node) && !SVFUtil::isa<DummyObjVar>(node))
-                rawstr << node->getId() << ":" << node->getValue()->toString();
+                rawstr << node->toString();
             else
                 rawstr << node->getId() << ":";