svf-lib 1.0.1727 → 1.0.1728

package/SVF-linux/svf/include/Graphs/ICFGNode.h

@@ -341,13 +341,13 @@ public:
         return fun;
     }
 
-    /// Return actual return parameter
+    /// Return formal return parameter
     inline const SVFVar *getFormalRet() const
     {
         return formalRet;
     }
 
-    /// Add actual return parameter
+    /// Add formal return parameter
     inline void addFormalRet(const SVFVar *fr)
     {
         formalRet = fr;

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

@@ -418,7 +418,7 @@ public:
     inline const SVFBasicBlock* getExitBB() const
     {
         assert(hasBasicBlock() && "function does not have any Basicblock, external function?");
-        assert((!isNotRet && exitBlock) && "ensure the function has a single basic block containing a return instruction!");
+        assert((hasReturn() && exitBlock) && "ensure the function has a single basic block containing a return instruction!");
         return exitBlock;
     }
 
@@ -463,9 +463,9 @@ public:
         return isUncalled;
     }
 
-    inline bool isNotRetFunction() const
+    inline bool hasReturn() const
     {
-        return isNotRet;
+        return  !isNotRet;
     }
 
     inline const std::vector<std::string>& getAnnotations() const

package/package.json

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