From 46c50831fdd79f1ae40f39dd31a712fa36f3a513 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 12 May 2016 23:43:44 -0700
Subject: [PATCH] fix(library/vm/vm): initialization bug

---
 src/library/vm/vm.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/library/vm/vm.cpp b/src/library/vm/vm.cpp
index 30e7c8cd83..e9863b7e06 100644
--- a/src/library/vm/vm.cpp
+++ b/src/library/vm/vm.cpp
@@ -32,8 +32,7 @@ DEF_THREAD_MEMORY_POOL(get_vm_composite_allocator_8, sizeof(vm_composite) + 8*si
 vm_composite::vm_composite(vm_obj_kind k, unsigned idx, unsigned sz, vm_obj const * data):
     vm_obj_cell(k), m_idx(idx),  m_size(sz) {
     vm_obj * fields = get_field_ptr();
-    for (unsigned i = 0; i < sz; i++)
-        fields[i] = data[i];
+    std::uninitialized_copy(data, data + sz, fields);
 }
 
 static vm_obj mk_vm_composite(vm_obj_kind k, unsigned idx, unsigned sz, vm_obj const * data) {