michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(runtime/cpp/lean_runtime): add assertion to make sure we are satisfying alignment constraints

Browse source
This commit is contained in:
Leonardo de Moura 2015-09-16 07:38:00 -07:00
parent 46f7123cc8
commit 1259f52fa8
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/runtime/cpp/lean_runtime.cpp
View file

@ -68,6 +68,7 @@ void * alloc_obj(unsigned n) {
obj_cell::obj_cell(unsigned cidx, unsigned sz, obj const * fs):
m_rc(0), m_kind(static_cast<unsigned>(obj_kind::Constructor)), m_size(sz), m_cidx(cidx) {
static_assert(sizeof(obj_cell) % sizeof(void*) == 0); // make sure the hack used to store obj_cell fields satisfies alignment constraints.
void ** mem = field_addr();
for (unsigned i = 0; i < sz; i++, mem++)
new (mem) obj(fs[i]);