When casting bool to float, go through integral type

immunant · Sep 29, 2023 · 29fa67d · 29fa67d
1 parent 0ba4903
commit 29fa67d
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/c2rust-transpile/src/translator/mod.rs b/c2rust-transpile/src/translator/mod.rs
@@ -4275,6 +4275,10 @@ 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`.

diff --git a/tests/casts/src/casts.c b/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;
 }