From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Tue, 4 Aug 2020 11:32:21 +0000 (+0200)
Subject: Properly initialize d_fullyInited. (#4840)
X-Git-Tag: cvc5-1.0.0~3045
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=98e426dae609dcc94b0c5bde9d804332493e9175;p=cvc5.git

Properly initialize d_fullyInited. (#4840)

Fixed #4839.
The Boolean flag d_fullyInited is not properly initialized and is thus flagged by --ubsan.
---

diff --git a/src/smt/dump_manager.cpp b/src/smt/dump_manager.cpp
index b8525f24e..d5fd65c4c 100644
--- a/src/smt/dump_manager.cpp
+++ b/src/smt/dump_manager.cpp
@@ -22,7 +22,10 @@ namespace CVC4 {
 namespace smt {
 
 DumpManager::DumpManager(context::UserContext* u)
-    : d_modelGlobalCommands(), d_modelCommands(u), d_dumpCommands()
+    : d_fullyInited(false),
+      d_modelGlobalCommands(),
+      d_modelCommands(u),
+      d_dumpCommands()
 {
 }