svf-lib 1.0.1695 → 1.0.1696

package/SVF-osx/svf/include/Graphs/CDG.h

@@ -263,7 +263,7 @@ public:
         bool added1 = edge->getDstNode()->addIncomingEdge(edge);
         bool added2 = edge->getSrcNode()->addOutgoingEdge(edge);
         assert(added1 && added2 && "edge not added??");
-        return true;
+        return added1 && added2;
     }
 
     /// Add a CDG node
@@ -435,8 +435,7 @@ struct DOTGraphTraits<SVF::CDG *> : public DOTGraphTraits<SVF::PAG *>
     template<class EdgeIter>
     static std::string getEdgeAttributes(NodeType *, EdgeIter EI, SVF::CDG *)
     {
-        SVF::CDGEdge *edge = *(EI.getCurrent());
-        assert(edge && "No edge found!!");
+        assert(*(EI.getCurrent()) && "No edge found!!");
         return "style=solid";
     }
 

package/SVF-osx/svf/include/Graphs/CFBasicBlockG.h

@@ -312,15 +312,13 @@ public:
     ///@{
     inline u32_t removeIncomingEdge(CFBasicBlockEdge *edge)
     {
-        iterator it = InEdges.find(edge);
-        assert(it != InEdges.end() && "can not find in edge in SVFG node");
+        assert(InEdges.find(edge) != InEdges.end() && "can not find in edge in SVFG node");
         return InEdges.erase(edge);
     }
 
     inline u32_t removeOutgoingEdge(CFBasicBlockEdge *edge)
     {
-        iterator it = OutEdges.find(edge);
-        assert(it != OutEdges.end() && "can not find out edge in SVFG node");
+        assert(OutEdges.find(edge) != OutEdges.end() && "can not find out edge in SVFG node");
         return OutEdges.erase(edge);
     }
     ///@}
@@ -455,7 +453,7 @@ public:
         bool added2 = edge->getSrcNode()->addOutgoingEdge(edge);
         assert(added1 && added2 && "edge not added??");
         _totalCFBasicBlockEdge++;
-        return true;
+        return added1 && added2;
     }
 
     /// Add a ICFGNodeWrapper

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1695",
+  "version": "1.0.1696",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {