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

fix: segfault when passing scalar object to dbgTraceIfShared

Browse source
This commit is contained in:
Sebastian Ullrich 2021-11-30 19:05:28 +01:00
parent 4964f5eb05
commit 4aab42f9aa
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/runtime/object.cpp
View file

@ -2161,7 +2161,7 @@ extern "C" LEAN_EXPORT object * lean_dbg_sleep(uint32 ms, obj_arg fn) {
}
extern "C" LEAN_EXPORT object * lean_dbg_trace_if_shared(obj_arg s, obj_arg a) {
if (lean_is_shared(a)) {
if (!lean_is_scalar(a) && lean_is_shared(a)) {
io_eprintln(mk_string(std::string("shared RC ") + lean_string_cstr(s)));
}
return a;