Update parray.h

deal with compiler warnings by initializing m_elem
Z3Prover · Jan 14, 2025 · 3c5b8bd · 3c5b8bd
1 parent c013365
commit 3c5b8bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/parray.h b/src/util/parray.h
@@ -72,7 +72,7 @@ class parray_manager {
         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;