svf-lib 1.0.1371 → 1.0.1373

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

@@ -36,7 +36,7 @@
 #include <string>
 #include <map>
 
-#define EXTAPI_JSON_PATH "/include/Util/ExtAPI.json"
+#define EXTAPI_JSON_PATH "svf/include/Util/ExtAPI.json"
 #define JSON_OPT_OVERWRITE "overwrite_app_function"
 #define JSON_OPT_FUNCTIONTYPE "type"
 
@@ -336,4 +336,4 @@ public:
 };
 } // End namespace SVF
 
-#endif
+#endif

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

@@ -412,27 +412,25 @@ template <> struct Hash<NodePair>
     }
 };
 
-#ifndef DEBUG_WITH_TYPE
-#    ifndef NDBUG
+#if !defined NDBUG && defined USE_SVF_DBOUT
 // TODO: This comes from the following link
 // https://github.com/llvm/llvm-project/blob/75e33f71c2dae584b13a7d1186ae0a038ba98838/llvm/include/llvm/Support/Debug.h#L64
 // The original LLVM implementation makes use of type. But we can get that info,
 // so we can't simulate the full behaviour for now.
-#        define DEBUG_WITH_TYPE(TYPE, X)                                       \
-            do                                                                 \
-            {                                                                  \
-                X;                                                             \
-            } while (false)
-#    else
-#        define DEBUG_WITH_TYPE(TYPE, X)                                       \
-            do                                                                 \
-            {                                                                  \
-            } while (false)
-#    endif
+#    define SVF_DEBUG_WITH_TYPE(TYPE, X)                                       \
+        do                                                                     \
+        {                                                                      \
+            X;                                                                 \
+        } while (false)
+#else
+#    define SVF_DEBUG_WITH_TYPE(TYPE, X)                                       \
+        do                                                                     \
+        {                                                                      \
+        } while (false)
 #endif
 
 /// LLVM debug macros, define type of your DEBUG model of each pass
-#define DBOUT(TYPE, X) DEBUG_WITH_TYPE(TYPE, X)
+#define DBOUT(TYPE, X) SVF_DEBUG_WITH_TYPE(TYPE, X)
 #define DOSTAT(X) X
 #define DOTIMESTAT(X) X
 

package/package.json

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