c2rust transpile: When casting bools to floats, go through the integral type u8

c2rust-transpile/src/translator/mod.rs

@@ -4275,6 +4275,13 @@ impl<'c> Translation<'c> {
                     let expr =
                         expr.ok_or_else(|| format_err!("Casts to enums require a C ExprId"))?;
                     Ok(self.enum_cast(ty.ctype, enum_decl_id, expr, val, source_ty, target_ty))
+                } else if target_ty_ctype.is_floating_type() && source_ty_kind.is_bool() {
+                    val.and_then(|x| {
+                        Ok(WithStmts::new_val(mk().cast_expr(
+                            mk().cast_expr(x, mk().path_ty(vec!["u8"])),
+                            target_ty,
+                        )))
+                    })
                 } else {
                     // Other numeric casts translate to Rust `as` casts,
                     // unless the cast is to a function pointer then use `transmute`.

tests/casts/src/casts.c

@@ -1,4 +1,5 @@
 #include <stdlib.h>
+#include <stdbool.h>
 
 void cast_stuff(void) {
         int inta[10] = {0};
@@ -26,4 +27,7 @@ void cast_stuff(void) {
         // need to make sure we handle this correctly.
         const int const_i = -1;
         int *x14 = (int*) &const_i;
+
+        bool b = true;
+        float x15 = b;
 }