svf-lib 1.0.2482 → 1.0.2483

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.
@@ -267,7 +267,6 @@ private:
267
267
  */
268
268
  void collectCycleHeads(const std::list<const ICFGWTOComp*>& comps);
269
269
 
270
-
271
270
  /**
272
271
  * handle SVF Statement like CmpStmt, CallStmt, GepStmt, LoadStmt, StoreStmt, etc.
273
272
  *
@@ -42,6 +42,7 @@
42
42
  #include <cstdlib>
43
43
  #include <vector>
44
44
  #include <deque>
45
+ #include <list>
45
46
  #include <set>
46
47
 
47
48
  namespace SVF
@@ -141,6 +142,20 @@ class FIFOWorkList
141
142
  public:
142
143
  FIFOWorkList() {}
143
144
 
145
+ /// Construct from a vector, pushing all elements in order
146
+ explicit FIFOWorkList(const std::vector<Data>& vec)
147
+ {
148
+ for (const Data& d : vec)
149
+ push(d);
150
+ }
151
+
152
+ /// Construct from a list, pushing all elements in order
153
+ explicit FIFOWorkList(const std::list<Data>& lst)
154
+ {
155
+ for (const Data& d : lst)
156
+ push(d);
157
+ }
158
+
144
159
  ~FIFOWorkList() {}
145
160
 
146
161
  inline bool empty() const
@@ -233,6 +248,20 @@ class FILOWorkList
233
248
  public:
234
249
  FILOWorkList() {}
235
250
 
251
+ /// Construct from a vector, pushing all elements in order
252
+ explicit FILOWorkList(const std::vector<Data>& vec)
253
+ {
254
+ for (const Data& d : vec)
255
+ push(d);
256
+ }
257
+
258
+ /// Construct from a list, pushing all elements in order
259
+ explicit FILOWorkList(const std::list<Data>& lst)
260
+ {
261
+ for (const Data& d : lst)
262
+ push(d);
263
+ }
264
+
236
265
  ~FILOWorkList() {}
237
266
 
238
267
  inline bool empty() const
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2482",
3
+ "version": "1.0.2483",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {