svf-lib 1.0.722 → 1.0.723

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.
Files changed (4) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/SVF-FE/CHG.h +1 -1
  3. package/SVF-linux/include/WPA/Andersen.h +2 -7
  4. package/package.json +1 -1
package/SVF-linux/include/SVF-FE/CHG.h CHANGED
@@ -193,7 +193,7 @@ public:
193
193
  {
194
194
  this->kind = Standard;
195
195
  }
196
- ~CHGraph();
196
+ ~CHGraph() override = default;
197
197
 
198
198
  void buildCHG();
199
199
  void buildInternalMaps();
package/SVF-linux/include/WPA/Andersen.h CHANGED
@@ -53,19 +53,14 @@ class AndersenBase: public WPAConstraintSolver, public BVDataPTAImpl
53
53
  public:
54
54
 
55
55
  /// Constructor
56
- AndersenBase(PAG* _pag, PTATY type = Andersen_BASE, bool alias_check = true)
56
+ AndersenBase(PAG* _pag, PTATY type = Andersen_BASE, bool alias_check = true)
57
57
  : BVDataPTAImpl(_pag, type, alias_check), consCG(nullptr)
58
58
  {
59
59
  iterationForPrintStat = OnTheFlyIterBudgetForStat;
60
60
  }
61
61
 
62
62
  /// Destructor
63
- virtual ~AndersenBase()
64
- {
65
- if (consCG != nullptr)
66
- delete consCG;
67
- consCG = nullptr;
68
- }
63
+ ~AndersenBase() override;
69
64
 
70
65
  /// Andersen analysis
71
66
  virtual void analyze() override;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.722",
3
+ "version": "1.0.723",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {