From ebbcc28a38daa42b0523fdd6924eb9c319c061e3 Mon Sep 17 00:00:00 2001 From: ziruichen Date: Mon, 16 Jun 2025 11:27:30 +0800 Subject: [PATCH] [safe_free] Allow safe_free to accept a nullable pointer. Since we intend to free the pointer regardless, it does not matter whether the pointer is nullable or non-null. This improves usability. --- libcbs/src/bishengc_safety/bishengc_safety.cbs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libcbs/src/bishengc_safety/bishengc_safety.cbs b/libcbs/src/bishengc_safety/bishengc_safety.cbs index d9465fd53bc8..a02b49d54204 100644 --- a/libcbs/src/bishengc_safety/bishengc_safety.cbs +++ b/libcbs/src/bishengc_safety/bishengc_safety.cbs @@ -63,7 +63,7 @@ safe void bsc_refcell_immut_borrow_failed(void) { } } -safe void safe_free(void * owned p) { +safe void safe_free(void * _Nullable owned p) { unsafe { free((void *)p); } -- Gitee