From 3c01e2ae0c32772c09f59e4dceb959b3404eb096 Mon Sep 17 00:00:00 2001
From: TianlongLiang <111852609+TianlongLiang@users.noreply.github.com>
Date: Fri, 28 Nov 2025 11:06:43 +0800
Subject: [PATCH] fix double promotion warning (#4731)

---
 core/iwasm/libraries/libc-builtin/libc_builtin_wrapper.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/core/iwasm/libraries/libc-builtin/libc_builtin_wrapper.c b/core/iwasm/libraries/libc-builtin/libc_builtin_wrapper.c
index a68c07494..6c89b8537 100644
--- a/core/iwasm/libraries/libc-builtin/libc_builtin_wrapper.c
+++ b/core/iwasm/libraries/libc-builtin/libc_builtin_wrapper.c
@@ -1014,7 +1014,8 @@ print_i64_wrapper(wasm_exec_env_t exec_env, int64 i64)
 static void
 print_i32_f32_wrapper(wasm_exec_env_t exec_env, int32 i32, float f32)
 {
-    os_printf("in specttest.print_i32_f32(%" PRId32 ", %f)\n", i32, f32);
+    os_printf("in specttest.print_i32_f32(%" PRId32 ", %f)\n", i32,
+              (double)f32);
 }
 
 static void
@@ -1026,7 +1027,7 @@ print_f64_f64_wrapper(wasm_exec_env_t exec_env, double f64_1, double f64_2)
 static void
 print_f32_wrapper(wasm_exec_env_t exec_env, float f32)
 {
-    os_printf("in specttest.print_f32(%f)\n", f32);
+    os_printf("in specttest.print_f32(%f)\n", (double)f32);
 }
 
 static void