svf-lib 1.0.1734 → 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-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
|
|
@@ -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
|