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

fix(util/lean_obj): static assertion is not supported on Clang

Browse source 
g++ 4.9 can check it statically, but clang++ fails (at least on OSX).
This commit is contained in:
Leonardo de Moura 2018-04-20 11:28:45 -07:00
parent 5cac9ee01d
commit 49dbcfb1ac
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/lean_obj.cpp
View file

@ -40,12 +40,12 @@ size_t obj_header_size(lean_obj * o) {
static_assert(sizeof(atomic<rc_type>) == sizeof(lean_obj*), "unexpected atomic<rc_type> size, the object GC assumes these two types have the same size");
inline lean_obj * get_next(lean_obj * o) {
static_assert(o == static_cast<void*>(&(o->m_rc)), "the object GC relies on the fact that the first field of a structure is stored at offset 0");
lean_assert(o == static_cast<void*>(&(o->m_rc))); // The object GC relies on the fact that the first field of a structure is stored at offset 0
return *reinterpret_cast<lean_obj**>(o);
}
inline void set_next(lean_obj * o, lean_obj * n) {
static_assert(o == static_cast<void*>(&(o->m_rc)), "the object GC relies on the fact that the first field of a structure is stored at offset 0");
lean_assert(o == static_cast<void*>(&(o->m_rc))); // The object GC relies on the fact that the first field of a structure is stored at offset 0
*reinterpret_cast<lean_obj**>(o) = n;
}