svf-lib 1.0.1741 → 1.0.1743
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/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-linux/svf/include/SVFIR/SVFValue.h +1 -6
- 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/SVFValue.h +1 -6
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
@@ -415,12 +415,7 @@ public:
|
|
|
415
415
|
|
|
416
416
|
/// Carefully! when you call getExitBB, you need ensure the function has return instruction
|
|
417
417
|
/// more refer to: https://github.com/SVF-tools/SVF/pull/1262
|
|
418
|
-
|
|
419
|
-
{
|
|
420
|
-
assert(hasBasicBlock() && "function does not have any Basicblock, external function?");
|
|
421
|
-
assert((hasReturn() && exitBlock) && "ensure the function has a single basic block containing a return instruction!");
|
|
422
|
-
return exitBlock;
|
|
423
|
-
}
|
|
418
|
+
const SVFBasicBlock* getExitBB() const;
|
|
424
419
|
|
|
425
420
|
void setExitBlock(SVFBasicBlock *bb);
|
|
426
421
|
|
|
Binary file
|
|
Binary file
|
|
@@ -413,12 +413,7 @@ public:
|
|
|
413
413
|
|
|
414
414
|
/// Carefully! when you call getExitBB, you need ensure the function has return instruction
|
|
415
415
|
/// more refer to: https://github.com/SVF-tools/SVF/pull/1262
|
|
416
|
-
|
|
417
|
-
{
|
|
418
|
-
assert(hasBasicBlock() && "function does not have any Basicblock, external function?");
|
|
419
|
-
assert((hasReturn() && exitBlock) && "ensure the function has a single basic block containing a return instruction!");
|
|
420
|
-
return exitBlock;
|
|
421
|
-
}
|
|
416
|
+
const SVFBasicBlock* getExitBB() const;
|
|
422
417
|
|
|
423
418
|
void setExitBlock(SVFBasicBlock *bb);
|
|
424
419
|
|