From cc13d18cc02a9eecf101e325cafd2567afb9b4b9 Mon Sep 17 00:00:00 2001
From: jumormt <jumormt@163.com>
Date: Thu, 9 Jan 2025 11:57:18 +1100
Subject: [PATCH] remove redundant variable

---
 svf-llvm/tools/Example/svf-ex.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/svf-llvm/tools/Example/svf-ex.cpp b/svf-llvm/tools/Example/svf-ex.cpp
index f00a29ee1..c18301cb4 100644
--- a/svf-llvm/tools/Example/svf-ex.cpp
+++ b/svf-llvm/tools/Example/svf-ex.cpp
@@ -107,10 +107,9 @@ void dummyVisit(const VFGNode* node)
  */
 void traverseOnVFG(const SVFG* vfg, const SVFVar* svfval)
 {
-    PAGNode* pNode = const_cast<PAGNode*>(svfval);
-    if (!vfg->hasDefSVFGNode(pNode))
+    if (!vfg->hasDefSVFGNode(svfval))
         return;
-    const VFGNode* vNode = vfg->getDefSVFGNode(pNode);
+    const VFGNode* vNode = vfg->getDefSVFGNode(svfval);
     FIFOWorkList<const VFGNode*> worklist;
     Set<const VFGNode*> visited;
     worklist.push(vNode);