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

fix(style): use static_cast

Browse source
This commit is contained in:
Nuno Lopes 2018-01-29 10:04:37 +00:00 • committed by Leonardo de Moura
parent caab1c58d2
commit aeaa19ac44
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/vm/vm.h
View file

@ -49,7 +49,7 @@ public:
};
#define LEAN_VM_IS_PTR(obj) ((reinterpret_cast<size_t>(obj) & 1) == 0)
#define LEAN_VM_BOX(num) (reinterpret_cast<vm_obj_cell*>((uintptr_t)((num << 1) | 1)))
#define LEAN_VM_BOX(num) (reinterpret_cast<vm_obj_cell*>(static_cast<uintptr_t>((num << 1) | 1)))
#define LEAN_VM_UNBOX(obj) (reinterpret_cast<size_t>(obj) >> 1)
[[noreturn]] void vm_check_failed(char const * condition);