svf-lib 1.0.1432 → 1.0.1434

package/SVF-linux/svf/include/SVFIR/SVFIR.h

@@ -578,13 +578,13 @@ private:
     /// Add a value (pointer) node
     inline NodeID addValNode(const SVFValue*, SVFVar *node, NodeID i)
     {
-        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DEBUG to SEQ or DENSE");
+        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DBUG to SEQ or DENSE");
         return addNode(node,i);
     }
     /// Add a memory obj node
     inline NodeID addObjNode(const SVFValue*, SVFVar *node, NodeID i)
     {
-        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DEBUG to SEQ or DENSE");
+        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DBUG to SEQ or DENSE");
         return addNode(node,i);
     }
     /// Add a unique return node for a procedure

package/SVF-linux/svf/include/SVFIR/SVFType.h

@@ -429,7 +429,7 @@ template <> struct Hash<NodePair>
         } while (false)
 #endif
 
-/// LLVM debug macros, define type of your DEBUG model of each pass
+/// LLVM debug macros, define type of your DBUG model of each pass
 #define DBOUT(TYPE, X) SVF_DEBUG_WITH_TYPE(TYPE, X)
 #define DOSTAT(X) X
 #define DOTIMESTAT(X) X

package/SVF-linux/svf/include/Util/NodeIDAllocator.h

@@ -36,7 +36,7 @@ public:
         /// GEP objects are allocated as an offset from their base (see implementation
         /// of allocateGepObjectId). The purpose of this allocation strategy
         /// is human readability.
-        DEBUG,
+        DBUG,
     };
 
     /// These nodes, and any nodes before them are assumed allocated
@@ -61,8 +61,8 @@ public:
 
     /// Allocate a GEP object ID as determined by the strategy.
     /// allocateObjectId is still fine for GEP objects, but
-    /// for some strategies (DEBUG, namely), GEP objects can
-    /// be allocated differently (more readable, for DEBUG).
+    /// for some strategies (DBUG, namely), GEP objects can
+    /// be allocated differently (more readable, for DBUG).
     /// Regardless, numObjects is shared; there is no special
     /// numGepObjects.
     NodeID allocateGepObjectId(NodeID base, u32_t offset, u32_t maxFieldLimit);

package/SVF-osx/svf/include/SVFIR/SVFIR.h

@@ -578,13 +578,13 @@ private:
     /// Add a value (pointer) node
     inline NodeID addValNode(const SVFValue*, SVFVar *node, NodeID i)
     {
-        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DEBUG to SEQ or DENSE");
+        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DBUG to SEQ or DENSE");
         return addNode(node,i);
     }
     /// Add a memory obj node
     inline NodeID addObjNode(const SVFValue*, SVFVar *node, NodeID i)
     {
-        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DEBUG to SEQ or DENSE");
+        assert(hasGNode(i) == false && "This NodeID clashes here. Please check NodeIDAllocator. Switch Strategy::DBUG to SEQ or DENSE");
         return addNode(node,i);
     }
     /// Add a unique return node for a procedure

package/SVF-osx/svf/include/SVFIR/SVFType.h

@@ -429,7 +429,7 @@ template <> struct Hash<NodePair>
         } while (false)
 #endif
 
-/// LLVM debug macros, define type of your DEBUG model of each pass
+/// LLVM debug macros, define type of your DBUG model of each pass
 #define DBOUT(TYPE, X) SVF_DEBUG_WITH_TYPE(TYPE, X)
 #define DOSTAT(X) X
 #define DOTIMESTAT(X) X

package/SVF-osx/svf/include/Util/NodeIDAllocator.h

@@ -36,7 +36,7 @@ public:
         /// GEP objects are allocated as an offset from their base (see implementation
         /// of allocateGepObjectId). The purpose of this allocation strategy
         /// is human readability.
-        DEBUG,
+        DBUG,
     };
 
     /// These nodes, and any nodes before them are assumed allocated
@@ -61,8 +61,8 @@ public:
 
     /// Allocate a GEP object ID as determined by the strategy.
     /// allocateObjectId is still fine for GEP objects, but
-    /// for some strategies (DEBUG, namely), GEP objects can
-    /// be allocated differently (more readable, for DEBUG).
+    /// for some strategies (DBUG, namely), GEP objects can
+    /// be allocated differently (more readable, for DBUG).
     /// Regardless, numObjects is shared; there is no special
     /// numGepObjects.
     NodeID allocateGepObjectId(NodeID base, u32_t offset, u32_t maxFieldLimit);

package/package.json

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