max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/vm/vm): initialization bug

Browse source
This commit is contained in:
Leonardo de Moura 2016-05-12 23:43:44 -07:00
parent 06039d95b4
commit 46c50831fd
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/library/vm/vm.cpp
View file

@ -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) {