svf-lib 1.0.1415 → 1.0.1417
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-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/ICFGEdge.h +3 -3
- package/SVF-osx/svf/include/SVFIR/SVFStatements.h +1 -1
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -139,13 +139,13 @@ public:
|
|
|
139
139
|
return conditionVar;
|
|
140
140
|
}
|
|
141
141
|
|
|
142
|
-
|
|
142
|
+
s64_t getSuccessorCondValue() const
|
|
143
143
|
{
|
|
144
144
|
assert(getCondition() && "this is not a conditional branch edge");
|
|
145
145
|
return branchCondVal;
|
|
146
146
|
}
|
|
147
147
|
|
|
148
|
-
void setBranchCondition(const SVFValue* c,
|
|
148
|
+
void setBranchCondition(const SVFValue* c, s64_t bVal)
|
|
149
149
|
{
|
|
150
150
|
conditionVar = c;
|
|
151
151
|
branchCondVal = bVal;
|
|
@@ -159,7 +159,7 @@ private:
|
|
|
159
159
|
/// e.g., Inst1: br %cmp label 0, label 1, Inst2 is label 0 and Inst 3 is label 1;
|
|
160
160
|
/// for edge between Inst1 and Inst 2, the first element is %cmp and second element is 0
|
|
161
161
|
const SVFValue* conditionVar;
|
|
162
|
-
|
|
162
|
+
s64_t branchCondVal;
|
|
163
163
|
};
|
|
164
164
|
|
|
165
165
|
/*!
|