svf-lib 1.0.2703 → 1.0.2704
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.
|
@@ -153,6 +153,11 @@ private:
|
|
|
153
153
|
/// and reverseNodeMapping
|
|
154
154
|
bool metaSame(const PointsTo &pt) const;
|
|
155
155
|
|
|
156
|
+
/// Ends the lifetime of the backing this set currently holds, through the
|
|
157
|
+
/// type currently stored in `type`. Callers that then placement new a new
|
|
158
|
+
/// backing must call this first, or whatever the old backing owned is lost.
|
|
159
|
+
void destroyBacking();
|
|
160
|
+
|
|
156
161
|
private:
|
|
157
162
|
/// Best node mapping we know of the for the analyses at hand.
|
|
158
163
|
static MappingPtr currentBestNodeMapping;
|
|
Binary file
|