fix double promotion warning (#4731)

TianlongLiang · web-flow · commit 3c01e2ae0c32 · 2025-11-28T11:06:43.000+08:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -1014,7 +1014,8 @@ print_i64_wrapper(wasm_exec_env_t exec_env, int64 i64)`
`1014`	`1014`	`static void`
`1015`	`1015`	`print_i32_f32_wrapper(wasm_exec_env_t exec_env, int32 i32, float f32)`
`1016`	`1016`	`{`
`1017`		`- os_printf("in specttest.print_i32_f32(%" PRId32 ", %f)\n", i32, f32);`
	`1017`	`+ os_printf("in specttest.print_i32_f32(%" PRId32 ", %f)\n", i32,`
	`1018`	`+ (double)f32);`
`1018`	`1019`	`}`
`1019`	`1020`
`1020`	`1021`	`static void`
`@@ -1026,7 +1027,7 @@ print_f64_f64_wrapper(wasm_exec_env_t exec_env, double f64_1, double f64_2)`
`1026`	`1027`	`static void`
`1027`	`1028`	`print_f32_wrapper(wasm_exec_env_t exec_env, float f32)`
`1028`	`1029`	`{`
`1029`		`- os_printf("in specttest.print_f32(%f)\n", f32);`
	`1030`	`+ os_printf("in specttest.print_f32(%f)\n", (double)f32);`
`1030`	`1031`	`}`
`1031`	`1032`
`1032`	`1033`	`static void`