svf-lib 1.0.835 → 1.0.839

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/Util/ExtAPI.h +1 -1
  3. package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
  4. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  5. package/SVF-osx/include/Util/ExtAPI.h +1 -1
  6. package/package.json +1 -1
package/SVF-linux/include/Util/ExtAPI.h CHANGED
@@ -139,7 +139,7 @@ public:
139
139
  funName = "llvm." + F->getName().split('.').second.split('.').first.str();
140
140
  }
141
141
  llvm::StringMap<extf_t>::const_iterator it= info.find(funName);
142
- if(it == info.end() || !F->isDeclaration())
142
+ if(it == info.end())
143
143
  return EFT_OTHER;
144
144
  else
145
145
  return it->second;
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/Util/ExtAPI.h CHANGED
@@ -139,7 +139,7 @@ public:
139
139
  funName = "llvm." + F->getName().split('.').second.split('.').first.str();
140
140
  }
141
141
  llvm::StringMap<extf_t>::const_iterator it= info.find(funName);
142
- if(it == info.end() || !F->isDeclaration())
142
+ if(it == info.end())
143
143
  return EFT_OTHER;
144
144
  else
145
145
  return it->second;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.835",
3
+ "version": "1.0.839",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {