svf-lib 1.0.1087 → 1.0.1090

package/SVF-linux/include/Util/DPItem.h

@@ -57,6 +57,20 @@ public:
     DPItem(const DPItem& dps) : cur(dps.cur)
     {
     }
+    /// Move constructor
+    DPItem(DPItem&& dps) noexcept : cur(dps.cur)
+    {
+
+    }
+    /// Move operator=
+    DPItem &operator=(DPItem &&rhs) noexcept
+    {
+        if (this != &rhs)
+        {
+            cur = rhs.cur;
+        }
+        return *this;
+    }
     /// Destructor
     virtual ~DPItem()
     {
@@ -202,6 +216,18 @@ public:
     ContextCond(const ContextCond& cond): context(cond.getContexts()), concreteCxt(cond.isConcreteCxt())
     {
     }
+    /// Move Constructor
+    ContextCond(ContextCond &&cond) noexcept: context(std::move(cond.context)), concreteCxt(cond.concreteCxt) {}
+    /// Move operator=
+    ContextCond& operator=(ContextCond&&cond) noexcept
+    {
+        if(this!=&cond)
+        {
+            context = std::move(cond.context);
+            concreteCxt = cond.concreteCxt;
+        }
+        return *this;
+    }
     /// Destructor
     virtual ~ContextCond()
     {
@@ -467,6 +493,20 @@ public:
         DPItem(dps.getCurNodeID()), context(dps.context)
     {
     }
+    /// Move constructor
+    CxtDPItem(CxtDPItem &&dps) noexcept: DPItem(dps), context(std::move(dps.context))
+    {
+    }
+    /// Move operator=
+    CxtDPItem &operator=(CxtDPItem &&dps) noexcept
+    {
+        if (this != &dps)
+        {
+            DPItem::operator=(dps);
+            context = std::move(dps.context);
+        }
+        return *this;
+    }
     /// Destructor
     virtual ~CxtDPItem()
     {

package/SVF-linux/include/Util/SVFUtil.h

@@ -724,6 +724,12 @@ inline bool isProgExitCall(const Instruction *inst)
     return isProgExitFunction(getCallee(inst));
 }
 
+template<typename T>
+constexpr typename std::remove_reference<T>::type &&
+move(T &t) noexcept
+{
+    return std::move(t);
+}
 
 } // End namespace SVFUtil
 

package/SVF-osx/include/Util/DPItem.h

@@ -57,6 +57,20 @@ public:
     DPItem(const DPItem& dps) : cur(dps.cur)
     {
     }
+    /// Move constructor
+    DPItem(DPItem&& dps) noexcept : cur(dps.cur)
+    {
+
+    }
+    /// Move operator=
+    DPItem &operator=(DPItem &&rhs) noexcept
+    {
+        if (this != &rhs)
+        {
+            cur = rhs.cur;
+        }
+        return *this;
+    }
     /// Destructor
     virtual ~DPItem()
     {
@@ -202,6 +216,18 @@ public:
     ContextCond(const ContextCond& cond): context(cond.getContexts()), concreteCxt(cond.isConcreteCxt())
     {
     }
+    /// Move Constructor
+    ContextCond(ContextCond &&cond) noexcept: context(std::move(cond.context)), concreteCxt(cond.concreteCxt) {}
+    /// Move operator=
+    ContextCond& operator=(ContextCond&&cond) noexcept
+    {
+        if(this!=&cond)
+        {
+            context = std::move(cond.context);
+            concreteCxt = cond.concreteCxt;
+        }
+        return *this;
+    }
     /// Destructor
     virtual ~ContextCond()
     {
@@ -467,6 +493,20 @@ public:
         DPItem(dps.getCurNodeID()), context(dps.context)
     {
     }
+    /// Move constructor
+    CxtDPItem(CxtDPItem &&dps) noexcept: DPItem(dps), context(std::move(dps.context))
+    {
+    }
+    /// Move operator=
+    CxtDPItem &operator=(CxtDPItem &&dps) noexcept
+    {
+        if (this != &dps)
+        {
+            DPItem::operator=(dps);
+            context = std::move(dps.context);
+        }
+        return *this;
+    }
     /// Destructor
     virtual ~CxtDPItem()
     {

package/package.json

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