fix condition for isPointer

jumormt · Jan 3, 2024 · 21ba463 · 21ba463
1 parent e7e602d
commit 21ba463
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/svf/lib/WPA/FlowSensitive.cpp b/svf/lib/WPA/FlowSensitive.cpp
@@ -561,7 +561,7 @@ bool FlowSensitive::processLoad(const LoadSVFGNode* load)
     {
         NodeID ptd = *ptdIt;
 
-        if (pag->isConstantObj(ptd) || pag->getGNode(load->getPAGDstNodeID())->isPointer())
+        if (pag->isConstantObj(ptd) || pag->getGNode(load->getPAGDstNodeID())->isPointer()==false)
             continue;
 
         if (unionPtsFromIn(load, ptd, dstVar))
@@ -615,7 +615,7 @@ bool FlowSensitive::processStore(const StoreSVFGNode* store)
         {
             NodeID ptd = *it;
 
-            if (pag->isConstantObj(ptd) || pag->getGNode(store->getPAGSrcNodeID())->isPointer())
+            if (pag->isConstantObj(ptd) || pag->getGNode(store->getPAGSrcNodeID())->isPointer()==false)
                 continue;
 
             if (unionPtsFromTop(store, store->getPAGSrcNodeID(), ptd))

diff --git a/svf/lib/WPA/VersionedFlowSensitive.cpp b/svf/lib/WPA/VersionedFlowSensitive.cpp
@@ -658,7 +658,7 @@ bool VersionedFlowSensitive::processLoad(const LoadSVFGNode* load)
     const PointsTo& qpt = getPts(q);
     for (NodeID o : qpt)
     {
-        if (pag->isConstantObj(o) || pag->getGNode(load->getPAGDstNodeID())->isPointer()) continue;
+        if (pag->isConstantObj(o) || pag->getGNode(load->getPAGDstNodeID())->isPointer()==false) continue;
 
         const Version c = getConsume(l, o);
         if (c != invalidVersion && vPtD->unionPts(p, atKey(o, c)))
@@ -709,7 +709,7 @@ bool VersionedFlowSensitive::processStore(const StoreSVFGNode* store)
     {
         for (NodeID o : ppt)
         {
-            if (pag->isConstantObj(o) || pag->getGNode(store->getPAGSrcNodeID())->isPointer()) continue;
+            if (pag->isConstantObj(o) || pag->getGNode(store->getPAGSrcNodeID())->isPointer()==false) continue;
 
             const Version y = getYield(l, o);
             if (y != invalidVersion && vPtD->unionPts(atKey(o, y), q))