svf-lib 1.0.1738 → 1.0.1740
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.
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -61,13 +61,13 @@ public:
|
|
|
61
61
|
typedef std::vector<IdxOperandPair> IdxOperandPairs;
|
|
62
62
|
|
|
63
63
|
/// Constructor
|
|
64
|
-
AccessPath(APOffset o = 0, const SVFType* srcTy = nullptr) : fldIdx(o),
|
|
64
|
+
AccessPath(APOffset o = 0, const SVFType* srcTy = nullptr) : fldIdx(o), gepPointeeType(srcTy) {}
|
|
65
65
|
|
|
66
66
|
/// Copy Constructor
|
|
67
67
|
AccessPath(const AccessPath& ap)
|
|
68
68
|
: fldIdx(ap.fldIdx),
|
|
69
69
|
idxOperandPairs(ap.getIdxOperandPairVec()),
|
|
70
|
-
|
|
70
|
+
gepPointeeType(ap.getGepPointeeType())
|
|
71
71
|
{
|
|
72
72
|
}
|
|
73
73
|
|
|
@@ -81,13 +81,13 @@ public:
|
|
|
81
81
|
{
|
|
82
82
|
fldIdx = rhs.fldIdx;
|
|
83
83
|
idxOperandPairs = rhs.getIdxOperandPairVec();
|
|
84
|
-
|
|
84
|
+
gepPointeeType = rhs.gepPointeeType;
|
|
85
85
|
return *this;
|
|
86
86
|
}
|
|
87
87
|
inline bool operator==(const AccessPath& rhs) const
|
|
88
88
|
{
|
|
89
89
|
return this->fldIdx == rhs.fldIdx &&
|
|
90
|
-
this->idxOperandPairs == rhs.idxOperandPairs && this->
|
|
90
|
+
this->idxOperandPairs == rhs.idxOperandPairs && this->gepPointeeType == rhs.gepPointeeType;
|
|
91
91
|
}
|
|
92
92
|
//@}
|
|
93
93
|
|
|
@@ -105,9 +105,9 @@ public:
|
|
|
105
105
|
{
|
|
106
106
|
return idxOperandPairs;
|
|
107
107
|
}
|
|
108
|
-
inline const SVFType*
|
|
108
|
+
inline const SVFType* getGepPointeeType() const
|
|
109
109
|
{
|
|
110
|
-
return
|
|
110
|
+
return gepPointeeType;
|
|
111
111
|
}
|
|
112
112
|
//@}
|
|
113
113
|
|
|
@@ -168,7 +168,7 @@ private:
|
|
|
168
168
|
|
|
169
169
|
APOffset fldIdx; ///< Accumulated Constant Offsets
|
|
170
170
|
IdxOperandPairs idxOperandPairs; ///< a vector of actual offset in the form of <SVF Var, iterator type>
|
|
171
|
-
const SVFType*
|
|
171
|
+
const SVFType* gepPointeeType; /// source element type in gep instruction,
|
|
172
172
|
/// e.g., %f1 = getelementptr inbounds %struct.MyStruct, %struct.MyStruct* %arrayidx, i32 0, i32 0
|
|
173
173
|
/// the source element type is %struct.MyStruct
|
|
174
174
|
};
|