From 4aab42f9aa55a51e59124bf3b54c8eb118cddbf5 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 30 Nov 2021 19:05:28 +0100 Subject: [PATCH] fix: segfault when passing scalar object to `dbgTraceIfShared` --- src/runtime/object.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp index 3861635a40..c65787b7c5 100644 --- a/src/runtime/object.cpp +++ b/src/runtime/object.cpp @@ -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;