From 98e426dae609dcc94b0c5bde9d804332493e9175 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 4 Aug 2020 13:32:21 +0200 Subject: [PATCH] Properly initialize d_fullyInited. (#4840) Fixed #4839. The Boolean flag d_fullyInited is not properly initialized and is thus flagged by --ubsan. --- src/smt/dump_manager.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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() { } -- 2.30.2