From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 1 Mar 2014 19:59:00 +0000 (+0100)
Subject: ezSAT bugfix: don't call virtual methods in base class constructor
X-Git-Tag: yosys-0.3.0~99
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=23f0a12c727721478bcb87ec142fb86a329f7cdb;p=yosys.git

ezSAT bugfix: don't call virtual methods in base class constructor
---

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index c6126d862..287177b1c 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -35,6 +35,9 @@ ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
 {
 	minisatSolver = NULL;
 	foundContradiction = false;
+
+	freeze(TRUE);
+	freeze(FALSE);
 }
 
 ezMiniSAT::~ezMiniSAT()
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index f77a3b918..cc6301e44 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -36,8 +36,8 @@ ezSAT::ezSAT()
 	solverTimeout = 0;
 	solverTimoutStatus = false;
 
-	freeze(literal("TRUE"));
-	freeze(literal("FALSE"));
+	literal("TRUE");
+	literal("FALSE");
 
 	assert(literal("TRUE") == TRUE);
 	assert(literal("FALSE") == FALSE);