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 b8525f24e1307cd7945fddb2f950ac6ba8c9b2a1..d5fd65c4c8f0a955779ce1f3fb477074c32fba02 100644 (file)
--- 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()
 {
 }