From 3c5b8bd03df3b9c60aafa86d443f9773d64f782b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 13 Jan 2025 18:19:12 -0800 Subject: [PATCH] Update parray.h deal with compiler warnings by initializing m_elem --- src/util/parray.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/parray.h b/src/util/parray.h index 1a51a8b56..b00f1328d 100644 --- a/src/util/parray.h +++ b/src/util/parray.h @@ -72,7 +72,7 @@ private: unsigned size() const { SASSERT(kind() == ROOT); return m_size; } cell * next() const { SASSERT(kind() != ROOT); return m_next; } value const & elem() const { SASSERT(kind() == SET || kind() == PUSH_BACK); return m_elem; } - cell(enum ckind k):m_ref_count(1), m_kind(k), m_size(0), m_values(nullptr) {} + cell(enum ckind k):m_ref_count(1), m_kind(k), m_size(0), m_elem(), m_values(nullptr) {} }; value_manager & m_vmanager;