From b0222cbdaa1ad345ac39b3b904ba55f127448be0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 30 Apr 2024 17:00:49 -0700 Subject: [PATCH] temper warning messages from uninitalized pointers --- src/util/hashtable.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/hashtable.h b/src/util/hashtable.h index b2830326b..b59a2e7d8 100644 --- a/src/util/hashtable.h +++ b/src/util/hashtable.h @@ -472,7 +472,7 @@ public: that was already in the table. */ data const & insert_if_not_there(data const & e) { - entry * et; + entry * et = nullptr; insert_if_not_there_core(e, et); return et->get_data(); } @@ -482,7 +482,7 @@ public: Return the entry that contains e. */ entry * insert_if_not_there2(data const & e) { - entry * et; + entry * et = nullptr; insert_if_not_there_core(e, et); return et; }