svf-lib 1.0.1733 → 1.0.1735
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/Graphs/ConsGEdge.h +1 -1
- package/SVF-linux/svf/include/MemoryModel/AccessPath.h +2 -2
- package/SVF-linux/svf/include/SVFIR/SVFStatements.h +2 -2
- package/SVF-linux/svf/include/SVFIR/SVFVariables.h +1 -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/Graphs/ConsGEdge.h +1 -1
- package/SVF-osx/svf/include/MemoryModel/AccessPath.h +2 -2
- package/SVF-osx/svf/include/SVFIR/SVFStatements.h +2 -2
- package/SVF-osx/svf/include/SVFIR/SVFVariables.h +1 -1
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
@@ -95,7 +95,7 @@ public:
|
|
|
95
95
|
|
|
96
96
|
/// Get methods
|
|
97
97
|
//@{
|
|
98
|
-
inline APOffset
|
|
98
|
+
inline APOffset getConstantStructFldIdx() const
|
|
99
99
|
{
|
|
100
100
|
return fldIdx;
|
|
101
101
|
}
|
|
@@ -177,7 +177,7 @@ template <> struct std::hash<SVF::AccessPath>
|
|
|
177
177
|
{
|
|
178
178
|
SVF::Hash<std::pair<SVF::NodeID, SVF::NodeID>> h;
|
|
179
179
|
std::hash<SVF::AccessPath::IdxOperandPairs> v;
|
|
180
|
-
return h(std::make_pair(ap.
|
|
180
|
+
return h(std::make_pair(ap.getConstantStructFldIdx(),
|
|
181
181
|
v(ap.getIdxOperandPairVec())));
|
|
182
182
|
}
|
|
183
183
|
};
|
|
@@ -517,10 +517,10 @@ public:
|
|
|
517
517
|
return getAccessPath().computeConstantOffset();
|
|
518
518
|
}
|
|
519
519
|
/// Field index of the gep statement if it access the field of a struct
|
|
520
|
-
inline APOffset
|
|
520
|
+
inline APOffset getConstantStructFldIdx() const
|
|
521
521
|
{
|
|
522
522
|
assert(isVariantFieldGep()==false && "Can't retrieve the AccessPath if using a variable field index (pointer arithmetic) for struct field access ");
|
|
523
|
-
return getAccessPath().
|
|
523
|
+
return getAccessPath().getConstantStructFldIdx();
|
|
524
524
|
}
|
|
525
525
|
/// Gep statement with a variant field index (pointer arithmetic) for struct field access
|
|
526
526
|
inline bool isVariantFieldGep() const
|
|
Binary file
|
|
Binary file
|
|
@@ -91,7 +91,7 @@ public:
|
|
|
91
91
|
|
|
92
92
|
/// Get methods
|
|
93
93
|
//@{
|
|
94
|
-
inline APOffset
|
|
94
|
+
inline APOffset getConstantStructFldIdx() const
|
|
95
95
|
{
|
|
96
96
|
return fldIdx;
|
|
97
97
|
}
|
|
@@ -172,7 +172,7 @@ template <> struct std::hash<SVF::AccessPath>
|
|
|
172
172
|
{
|
|
173
173
|
SVF::Hash<std::pair<SVF::NodeID, SVF::NodeID>> h;
|
|
174
174
|
std::hash<SVF::AccessPath::IdxOperandPairs> v;
|
|
175
|
-
return h(std::make_pair(ap.
|
|
175
|
+
return h(std::make_pair(ap.getConstantStructFldIdx(),
|
|
176
176
|
v(ap.getIdxOperandPairVec())));
|
|
177
177
|
}
|
|
178
178
|
};
|
|
@@ -516,10 +516,10 @@ public:
|
|
|
516
516
|
return getAccessPath().computeConstantOffset();
|
|
517
517
|
}
|
|
518
518
|
/// Field index of the gep statement if it access the field of a struct
|
|
519
|
-
inline APOffset
|
|
519
|
+
inline APOffset getConstantStructFldIdx() const
|
|
520
520
|
{
|
|
521
521
|
assert(isVariantFieldGep()==false && "Can't retrieve the AccessPath if using a variable field index (pointer arithmetic) for struct field access ");
|
|
522
|
-
return getAccessPath().
|
|
522
|
+
return getAccessPath().getConstantStructFldIdx();
|
|
523
523
|
}
|
|
524
524
|
/// Gep statement with a variant field index (pointer arithmetic) for struct field access
|
|
525
525
|
inline bool isVariantFieldGep() const
|