diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-08-04 13:32:21 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-04 06:32:21 -0500 |
commit | 98e426dae609dcc94b0c5bde9d804332493e9175 (patch) | |
tree | f5a35385c2a67c0ed21e2c0a55254fff0c1c256f | |
parent | 4844afa3d254bdabac397556e166a2534bb6c2ac (diff) |
Properly initialize d_fullyInited. (#4840)
Fixed #4839.
The Boolean flag d_fullyInited is not properly initialized and is thus flagged by --ubsan.
-rw-r--r-- | src/smt/dump_manager.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
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() { } |