svf-lib 1.0.1727 → 1.0.1729
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/svf/include/Graphs/ICFGNode.h +2 -2
- package/SVF-linux/svf/include/SVFIR/SVFValue.h +3 -3
- 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/Graphs/ICFGNode.h +2 -2
- package/SVF-osx/svf/include/SVFIR/SVFValue.h +3 -3
- package/package.json +1 -1
|
Binary file
|
|
@@ -341,13 +341,13 @@ public:
|
|
|
341
341
|
return fun;
|
|
342
342
|
}
|
|
343
343
|
|
|
344
|
-
/// Return
|
|
344
|
+
/// Return formal return parameter
|
|
345
345
|
inline const SVFVar *getFormalRet() const
|
|
346
346
|
{
|
|
347
347
|
return formalRet;
|
|
348
348
|
}
|
|
349
349
|
|
|
350
|
-
/// Add
|
|
350
|
+
/// Add formal return parameter
|
|
351
351
|
inline void addFormalRet(const SVFVar *fr)
|
|
352
352
|
{
|
|
353
353
|
formalRet = fr;
|
|
@@ -418,7 +418,7 @@ public:
|
|
|
418
418
|
inline const SVFBasicBlock* getExitBB() const
|
|
419
419
|
{
|
|
420
420
|
assert(hasBasicBlock() && "function does not have any Basicblock, external function?");
|
|
421
|
-
assert((
|
|
421
|
+
assert((hasReturn() && exitBlock) && "ensure the function has a single basic block containing a return instruction!");
|
|
422
422
|
return exitBlock;
|
|
423
423
|
}
|
|
424
424
|
|
|
@@ -463,9 +463,9 @@ public:
|
|
|
463
463
|
return isUncalled;
|
|
464
464
|
}
|
|
465
465
|
|
|
466
|
-
inline bool
|
|
466
|
+
inline bool hasReturn() const
|
|
467
467
|
{
|
|
468
|
-
return
|
|
468
|
+
return !isNotRet;
|
|
469
469
|
}
|
|
470
470
|
|
|
471
471
|
inline const std::vector<std::string>& getAnnotations() const
|
|
Binary file
|
|
Binary file
|
|
@@ -339,13 +339,13 @@ public:
|
|
|
339
339
|
return fun;
|
|
340
340
|
}
|
|
341
341
|
|
|
342
|
-
/// Return
|
|
342
|
+
/// Return formal return parameter
|
|
343
343
|
inline const SVFVar *getFormalRet() const
|
|
344
344
|
{
|
|
345
345
|
return formalRet;
|
|
346
346
|
}
|
|
347
347
|
|
|
348
|
-
/// Add
|
|
348
|
+
/// Add formal return parameter
|
|
349
349
|
inline void addFormalRet(const SVFVar *fr)
|
|
350
350
|
{
|
|
351
351
|
formalRet = fr;
|
|
@@ -416,7 +416,7 @@ public:
|
|
|
416
416
|
inline const SVFBasicBlock* getExitBB() const
|
|
417
417
|
{
|
|
418
418
|
assert(hasBasicBlock() && "function does not have any Basicblock, external function?");
|
|
419
|
-
assert((
|
|
419
|
+
assert((hasReturn() && exitBlock) && "ensure the function has a single basic block containing a return instruction!");
|
|
420
420
|
return exitBlock;
|
|
421
421
|
}
|
|
422
422
|
|
|
@@ -461,9 +461,9 @@ public:
|
|
|
461
461
|
return isUncalled;
|
|
462
462
|
}
|
|
463
463
|
|
|
464
|
-
inline bool
|
|
464
|
+
inline bool hasReturn() const
|
|
465
465
|
{
|
|
466
|
-
return
|
|
466
|
+
return !isNotRet;
|
|
467
467
|
}
|
|
468
468
|
|
|
469
469
|
inline const std::vector<std::string>& getAnnotations() const
|