svf-lib 1.0.1737 → 1.0.1738
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
|
|
@@ -65,13 +65,13 @@ public:
|
|
|
65
65
|
typedef std::vector<IdxOperandPair> IdxOperandPairs;
|
|
66
66
|
|
|
67
67
|
/// Constructor
|
|
68
|
-
AccessPath(APOffset o = 0, const SVFType* srcTy = nullptr) : fldIdx(o),
|
|
68
|
+
AccessPath(APOffset o = 0, const SVFType* srcTy = nullptr) : fldIdx(o), gepPointeeType(srcTy) {}
|
|
69
69
|
|
|
70
70
|
/// Copy Constructor
|
|
71
71
|
AccessPath(const AccessPath& ap)
|
|
72
72
|
: fldIdx(ap.fldIdx),
|
|
73
73
|
idxOperandPairs(ap.getIdxOperandPairVec()),
|
|
74
|
-
|
|
74
|
+
gepPointeeType(ap.getGepPointeeType())
|
|
75
75
|
{
|
|
76
76
|
}
|
|
77
77
|
|
|
@@ -85,13 +85,13 @@ public:
|
|
|
85
85
|
{
|
|
86
86
|
fldIdx = rhs.fldIdx;
|
|
87
87
|
idxOperandPairs = rhs.getIdxOperandPairVec();
|
|
88
|
-
|
|
88
|
+
gepPointeeType = rhs.gepPointeeType;
|
|
89
89
|
return *this;
|
|
90
90
|
}
|
|
91
91
|
inline bool operator==(const AccessPath& rhs) const
|
|
92
92
|
{
|
|
93
93
|
return this->fldIdx == rhs.fldIdx &&
|
|
94
|
-
this->idxOperandPairs == rhs.idxOperandPairs && this->
|
|
94
|
+
this->idxOperandPairs == rhs.idxOperandPairs && this->gepPointeeType == rhs.gepPointeeType;
|
|
95
95
|
}
|
|
96
96
|
//@}
|
|
97
97
|
|
|
@@ -109,9 +109,9 @@ public:
|
|
|
109
109
|
{
|
|
110
110
|
return idxOperandPairs;
|
|
111
111
|
}
|
|
112
|
-
inline const SVFType*
|
|
112
|
+
inline const SVFType* getGepPointeeType() const
|
|
113
113
|
{
|
|
114
|
-
return
|
|
114
|
+
return gepPointeeType;
|
|
115
115
|
}
|
|
116
116
|
//@}
|
|
117
117
|
|
|
@@ -173,7 +173,7 @@ private:
|
|
|
173
173
|
|
|
174
174
|
APOffset fldIdx; ///< Accumulated Constant Offsets
|
|
175
175
|
IdxOperandPairs idxOperandPairs; ///< a vector of actual offset in the form of <SVF Var, iterator type>
|
|
176
|
-
const SVFType*
|
|
176
|
+
const SVFType* gepPointeeType; /// source element type in gep instruction,
|
|
177
177
|
/// e.g., %f1 = getelementptr inbounds %struct.MyStruct, %struct.MyStruct* %arrayidx, i32 0, i32 0
|
|
178
178
|
/// the source element type is %struct.MyStruct
|
|
179
179
|
};
|