enable -Wdouble-promotion by default

TianlongLiang · TianlongLiang · commit 6dd9c54768e2 · 2025-09-11T08:08:16.000+08:00
diff --git a/build-scripts/warnings.cmake b/build-scripts/warnings.cmake
@@ -20,6 +20,9 @@ else ()
     $<$<COMPILE_LANGUAGE:C>:-Wincompatible-pointer-types>
     $<$<COMPILE_LANGUAGE:C>:-Wimplicit-function-declaration>
   )
+  add_compile_options (
+    -Wdouble-promotion
+  )
   # waivers
   add_compile_options (
     -Wno-unused
