From 7aef068e494b65839a0d03be960cdcf7f928ebb0 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 6 Feb 2020 17:03:51 -0800
Subject: [PATCH] chore: update stage0

---
 stage0/src/runtime/compact.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/stage0/src/runtime/compact.cpp b/stage0/src/runtime/compact.cpp
index 2d5ecf1e8c..f35b846480 100644
--- a/stage0/src/runtime/compact.cpp
+++ b/stage0/src/runtime/compact.cpp
@@ -89,6 +89,7 @@ void * object_compactor::alloc(size_t sz) {
         m_begin    = new_begin;
     }
     void * r = m_end;
+    memset(r, 0, sz);
     m_end = static_cast<char*>(m_end) + sz;
     lean_assert(m_end <= m_capacity);
     return r;