From 1355ea432a40807398a172265ae7d4b978472d00 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 3 Jul 2021 09:42:25 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/bigfix/u256.cpp | 8 +++++---
 src/math/bigfix/u256.h   | 2 +-
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/math/bigfix/u256.cpp b/src/math/bigfix/u256.cpp
index d052a2583..65c7144dc 100644
--- a/src/math/bigfix/u256.cpp
+++ b/src/math/bigfix/u256.cpp
@@ -2,11 +2,13 @@
 #include "math/bigfix/Hacl_Bignum256.h"
 #include <memory>
 
+u256::u256() {
+    m_num[0] = m_num[1] = m_num[2] = m_num[3] = 0;
+}
+
 u256::u256(uint64_t n) {
     m_num[0] = n;
-    m_num[1] = 0;
-    m_num[2] = 0;
-    m_num[3] = 0;
+    m_num[1] = m_num[2] = m_num[3] = 0;
 }
 
 u256::u256(uint64_t const* v) {
diff --git a/src/math/bigfix/u256.h b/src/math/bigfix/u256.h
index 42d6a3cd8..52214d06d 100644
--- a/src/math/bigfix/u256.h
+++ b/src/math/bigfix/u256.h
@@ -5,7 +5,7 @@
 class u256 {
     uint64_t m_num[4];
 public:
-    u256() { memset(this, 0, sizeof(*this)); }
+    u256();
     u256(uint64_t n);
     u256(uint64_t const* v);
     u256 operator*(u256 const& other) const;