svf-lib 1.0.1552 → 1.0.1554
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.
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-linux/svf/include/SVFIR/SymbolTableInfo.h +2 -1
- package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/svf/include/SVFIR/SymbolTableInfo.h +2 -1
- package/package.json +1 -1
|
Binary file
|
|
@@ -344,7 +344,8 @@ public:
|
|
|
344
344
|
inline void addTypeInfo(const SVFType* ty)
|
|
345
345
|
{
|
|
346
346
|
bool inserted = svfTypes.insert(ty).second;
|
|
347
|
-
|
|
347
|
+
if(!inserted)
|
|
348
|
+
assert(false && "this type info has been added before");
|
|
348
349
|
}
|
|
349
350
|
|
|
350
351
|
inline void addStInfo(StInfo* stInfo)
|
|
Binary file
|
|
Binary file
|
|
@@ -344,7 +344,8 @@ public:
|
|
|
344
344
|
inline void addTypeInfo(const SVFType* ty)
|
|
345
345
|
{
|
|
346
346
|
bool inserted = svfTypes.insert(ty).second;
|
|
347
|
-
|
|
347
|
+
if(!inserted)
|
|
348
|
+
assert(false && "this type info has been added before");
|
|
348
349
|
}
|
|
349
350
|
|
|
350
351
|
inline void addStInfo(StInfo* stInfo)
|