Avoid mutable transmute in string literals (#1360)

kkysen · web-flow · commit 217ae421822b · 2025-09-23T13:35:13.000-04:00
* Fixes #1154 Going with the fix proposed in #743 (comment). The original code would set the array size to 1 if it wasn't statically determined by the type. I'm not sure in which situations that would happen, it still seems suspicious. But to avoid breaking anything I don't understand, I separated it off, and applied my fix only to the case where the size is known.
diff --git a/c2rust-transpile/src/translator/literals.rs b/c2rust-transpile/src/translator/literals.rs
@@ -153,30 +153,25 @@ impl<'c> Translation<'c> {
 
             CLiteral::String(ref val, width) => {
                 let mut val = val.to_owned();
-
                 let num_elems = match self.ast_context.resolve_type(ty.ctype).kind {
-                    // Match the literal size to the expected size padding with zeros as needed
-                    CTypeKind::ConstantArray(_elem_ty, size) => size,
-                    // zero terminator
-                    _ => 1,
+                    CTypeKind::ConstantArray(_elem_ty, num_elems) => num_elems,
+                    ref kind => {
+                        panic!("String literal with unknown size: {val:?}, kind = {kind:?}")
+                    }
                 };
+
+                // Match the literal size to the expected size padding with zeros as needed
                 let size = num_elems * (width as usize);
                 val.resize(size, 0);
 
+                // std::mem::transmute::<[u8; size], ctype>(*b"xxxx")
                 let u8_ty = mk().path_ty(vec!["u8"]);
                 let width_lit = mk().lit_expr(mk().int_unsuffixed_lit(val.len() as u128));
-                let array_ty = mk().array_ty(u8_ty, width_lit);
-                let source_ty = mk().ref_ty(array_ty);
-                let mutbl = if ty.qualifiers.is_const {
-                    Mutability::Immutable
-                } else {
-                    Mutability::Mutable
-                };
-                let target_ty = mk().set_mutbl(mutbl).ref_ty(self.convert_type(ty.ctype)?);
-                let byte_literal = mk().lit_expr(val);
-                let pointer = transmute_expr(source_ty, target_ty, byte_literal);
-                let array = mk().unary_expr(UnOp::Deref(Default::default()), pointer);
-                Ok(WithStmts::new_unsafe_val(array))
+                Ok(WithStmts::new_unsafe_val(transmute_expr(
+                    mk().array_ty(u8_ty, width_lit),
+                    self.convert_type(ty.ctype)?,
+                    mk().unary_expr("*", mk().lit_expr(val)),
+                )))
             }
         }
     }
diff --git a/c2rust-transpile/src/translator/mod.rs b/c2rust-transpile/src/translator/mod.rs
@@ -1233,7 +1233,6 @@ impl<'c> Translation<'c> {
                 "non_camel_case_types",
                 "non_snake_case",
                 "dead_code",
-                "mutable_transmutes",
                 "unused_mut",
                 "unused_assignments",
             ],
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-aarch64@dummy.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-aarch64@dummy.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/arch-specific/dummy.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-aarch64@spin.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-aarch64@spin.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/arch-specific/spin.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@macros.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@macros.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/os-specific/macros.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
@@ -32,7 +31,7 @@ pub unsafe extern "C" fn size_of_const() -> std::ffi::c_int {
 }
 pub const SIZE: usize = ::core::mem::size_of::<[std::ffi::c_int; 10]>();
 pub const POS: [std::ffi::c_char; 3] =
-    unsafe { *::core::mem::transmute::<&[u8; 3], &[std::ffi::c_char; 3]>(b"\"]\0") };
+    unsafe { ::core::mem::transmute::<[u8; 3], [std::ffi::c_char; 3]>(*b"\"]\0") };
 #[no_mangle]
 pub unsafe extern "C" fn memcpy_str_literal(mut out: *mut std::ffi::c_char) {
     memcpy(
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@rnd.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@rnd.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/os-specific/rnd.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@rotate.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@rotate.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/os-specific/rotate.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@types.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@types.c.snap
@@ -6,7 +6,6 @@ input_file: c2rust-transpile/tests/snapshots/platform-specific/types.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@macros.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@macros.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/os-specific/macros.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
@@ -33,7 +32,7 @@ pub unsafe extern "C" fn size_of_const() -> std::ffi::c_int {
 }
 pub const SIZE: usize = ::core::mem::size_of::<[std::ffi::c_int; 10]>();
 pub const POS: [std::ffi::c_char; 3] =
-    unsafe { *::core::mem::transmute::<&[u8; 3], &[std::ffi::c_char; 3]>(b"\"]\0") };
+    unsafe { ::core::mem::transmute::<[u8; 3], [std::ffi::c_char; 3]>(*b"\"]\0") };
 #[no_mangle]
 pub unsafe extern "C" fn memcpy_str_literal(mut out: *mut std::ffi::c_char) {
     memcpy(
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@rnd.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@rnd.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/os-specific/rnd.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@rotate.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@rotate.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/os-specific/rotate.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@types.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@types.c.snap
@@ -6,7 +6,6 @@ input_file: c2rust-transpile/tests/snapshots/platform-specific/types.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-x86_64@dummy.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-x86_64@dummy.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/arch-specific/dummy.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-x86_64@spin.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-x86_64@spin.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/arch-specific/spin.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@alloca.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@alloca.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/alloca.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
@@ -39,4 +38,4 @@ pub unsafe extern "C" fn alloca_sum(
         *alloca2 = val2;
     }
     return *alloca1 + *alloca2;
-}
+}
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@arrays.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@arrays.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/arrays.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
@@ -36,7 +35,7 @@ pub struct C2RustUnnamed_2 {
     pub y: std::ffi::c_int,
 }
 static mut simple: [std::ffi::c_char; 9] =
-    unsafe { *::core::mem::transmute::<&[u8; 9], &mut [std::ffi::c_char; 9]>(b"mystring\0") };
+    unsafe { ::core::mem::transmute::<[u8; 9], [std::ffi::c_char; 9]>(*b"mystring\0") };
 static mut foo: *mut std::ffi::c_char =
     b"mystring\0" as *const u8 as *const std::ffi::c_char as *mut std::ffi::c_char;
 #[no_mangle]
@@ -62,7 +61,7 @@ pub unsafe extern "C" fn entry() {
     let mut arr6: [std::ffi::c_int; 2] = [1 as std::ffi::c_int, 2 as std::ffi::c_int];
     let mut arr7: [std::ffi::c_int; 0] = [0; 0];
     let mut abc: [std::ffi::c_char; 4] =
-        *::core::mem::transmute::<&[u8; 4], &mut [std::ffi::c_char; 4]>(b"abc\0");
+        ::core::mem::transmute::<[u8; 4], [std::ffi::c_char; 4]>(*b"abc\0");
     let mut def: [std::ffi::c_char; 3] = [
         'd' as i32 as std::ffi::c_char,
         'e' as i32 as std::ffi::c_char,
@@ -72,13 +71,13 @@ pub unsafe extern "C" fn entry() {
     let mut abcptr: *mut std::ffi::c_char =
         b"abc\0" as *const u8 as *const std::ffi::c_char as *mut std::ffi::c_char;
     let mut init: [std::ffi::c_char; 5] =
-        *::core::mem::transmute::<&[u8; 5], &mut [std::ffi::c_char; 5]>(b"abcd\0");
+        ::core::mem::transmute::<[u8; 5], [std::ffi::c_char; 5]>(*b"abcd\0");
     let mut too_long: [std::ffi::c_char; 3] =
-        *::core::mem::transmute::<&[u8; 3], &mut [std::ffi::c_char; 3]>(b"abc");
-    let mut too_short: [std::ffi::c_char; 20] = *::core::mem::transmute::<
-        &[u8; 20],
-        &mut [std::ffi::c_char; 20],
-    >(b"abc\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0");
+        ::core::mem::transmute::<[u8; 3], [std::ffi::c_char; 3]>(*b"abc");
+    let mut too_short: [std::ffi::c_char; 20] = ::core::mem::transmute::<
+        [u8; 20],
+        [std::ffi::c_char; 20],
+    >(*b"abc\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0");
     let mut past_end: *mut std::ffi::c_char = &mut *simple
         .as_mut_ptr()
         .offset(::core::mem::size_of::<[std::ffi::c_char; 9]>() as isize)
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@atomics.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@atomics.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/atomics.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@exprs.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@exprs.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/exprs.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@factorial.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@factorial.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/factorial.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@gotos.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@gotos.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/gotos.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@incomplete_arrays.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@incomplete_arrays.c.snap
@@ -6,7 +6,6 @@ input_file: c2rust-transpile/tests/snapshots/incomplete_arrays.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@insertion.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@insertion.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/insertion.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@macros.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@macros.c.snap
@@ -5,7 +5,6 @@ input_file: c2rust-transpile/tests/snapshots/macros.c
 ---
 #![allow(
     dead_code,
-    mutable_transmutes,
     non_camel_case_types,
     non_snake_case,
     non_upper_case_globals,
@@ -37,7 +36,7 @@ pub const LITERAL_BOOL: std::ffi::c_int = true_0;
 pub const LITERAL_FLOAT: std::ffi::c_double = 3.14f64;
 pub const LITERAL_CHAR: std::ffi::c_int = 'x' as i32;
 pub const LITERAL_STR: [std::ffi::c_char; 6] =
-    unsafe { *::core::mem::transmute::<&[u8; 6], &[std::ffi::c_char; 6]>(b"hello\0") };
+    unsafe { ::core::mem::transmute::<[u8; 6], [std::ffi::c_char; 6]>(*b"hello\0") };
 pub const LITERAL_STRUCT: S = {
     let mut init = S {
         i: 5 as std::ffi::c_int,
@@ -49,7 +48,7 @@ pub const NESTED_BOOL: std::ffi::c_int = 1 as std::ffi::c_int;
 pub const NESTED_FLOAT: std::ffi::c_double = LITERAL_FLOAT;
 pub const NESTED_CHAR: std::ffi::c_int = 'x' as i32;
 pub const NESTED_STR: [std::ffi::c_char; 6] =
-    unsafe { *::core::mem::transmute::<&[u8; 6], &[std::ffi::c_char; 6]>(b"hello\0") };
+    unsafe { ::core::mem::transmute::<[u8; 6], [std::ffi::c_char; 6]>(*b"hello\0") };
 pub const NESTED_STRUCT: S = {
     let mut init = S {
         i: 5 as std::ffi::c_int,
@@ -68,7 +67,7 @@ pub const CONVERSION_CAST: std::ffi::c_int = LITERAL_INT;
 pub const STMT_EXPR: std::ffi::c_float = ({
     let mut builtin: std::ffi::c_int = (LITERAL_INT as std::ffi::c_uint).leading_zeros() as i32;
     let mut indexing: std::ffi::c_char = unsafe {
-        (*::core::mem::transmute::<&[u8; 6], &[std::ffi::c_char; 6]>(b"hello\0"))
+        ::core::mem::transmute::<[u8; 6], [std::ffi::c_char; 6]>(*b"hello\0")
             [LITERAL_FLOAT as std::ffi::c_int as usize]
     };
     let mut mixed: std::ffi::c_float = (LITERAL_INT as std::ffi::c_double
@@ -117,12 +116,12 @@ pub unsafe extern "C" fn local_muts() {
     let mut narrowing_cast: std::ffi::c_char = LITERAL_INT as std::ffi::c_char;
     let mut conversion_cast: std::ffi::c_double = CONVERSION_CAST as std::ffi::c_double;
     let mut indexing: std::ffi::c_char =
-        (*::core::mem::transmute::<&[u8; 6], &[std::ffi::c_char; 6]>(b"hello\0"))
+        ::core::mem::transmute::<[u8; 6], [std::ffi::c_char; 6]>(*b"hello\0")
             [LITERAL_FLOAT as std::ffi::c_int as usize];
     let mut str_concatenation_ptr: *const std::ffi::c_char =
         b"hello hello world\0" as *const u8 as *const std::ffi::c_char;
     let mut str_concatenation: [std::ffi::c_char; 18] =
-        *::core::mem::transmute::<&[u8; 18], &mut [std::ffi::c_char; 18]>(b"hello hello world\0");
+        ::core::mem::transmute::<[u8; 18], [std::ffi::c_char; 18]>(*b"hello hello world\0");
     let mut builtin: std::ffi::c_int = (LITERAL_INT as std::ffi::c_uint).leading_zeros() as i32;
     let mut ref_indexing: *const std::ffi::c_char = &*NESTED_STR
         .as_ptr()
@@ -173,12 +172,12 @@ pub unsafe extern "C" fn local_consts() {
     let narrowing_cast: std::ffi::c_char = LITERAL_INT as std::ffi::c_char;
     let conversion_cast: std::ffi::c_double = CONVERSION_CAST as std::ffi::c_double;
     let indexing: std::ffi::c_char =
-        (*::core::mem::transmute::<&[u8; 6], &[std::ffi::c_char; 6]>(b"hello\0"))
+        ::core::mem::transmute::<[u8; 6], [std::ffi::c_char; 6]>(*b"hello\0")
             [LITERAL_FLOAT as std::ffi::c_int as usize];
     let str_concatenation_ptr: *const std::ffi::c_char =
         b"hello hello world\0" as *const u8 as *const std::ffi::c_char;
     let str_concatenation: [std::ffi::c_char; 18] =
-        *::core::mem::transmute::<&[u8; 18], &[std::ffi::c_char; 18]>(b"hello hello world\0");
+        ::core::mem::transmute::<[u8; 18], [std::ffi::c_char; 18]>(*b"hello hello world\0");
     let builtin: std::ffi::c_int = (LITERAL_INT as std::ffi::c_uint).leading_zeros() as i32;
     let ref_indexing: *const std::ffi::c_char = &*NESTED_STR
         .as_ptr()
@@ -234,9 +233,8 @@ static mut global_static_const_conversion_cast: std::ffi::c_double =
 static mut global_static_const_indexing: std::ffi::c_char = 0;
 static mut global_static_const_str_concatenation_ptr: *const std::ffi::c_char =
     b"hello hello world\0" as *const u8 as *const std::ffi::c_char;
-static mut global_static_const_str_concatenation: [std::ffi::c_char; 18] = unsafe {
-    *::core::mem::transmute::<&[u8; 18], &[std::ffi::c_char; 18]>(b"hello hello world\0")
-};
+static mut global_static_const_str_concatenation: [std::ffi::c_char; 18] =
+    unsafe { ::core::mem::transmute::<[u8; 18], [std::ffi::c_char; 18]>(*b"hello hello world\0") };
 static mut global_static_const_builtin: std::ffi::c_int =
     (LITERAL_INT as std::ffi::c_uint).leading_zeros() as i32;
 static mut global_static_const_ref_indexing: *const std::ffi::c_char = 0 as *const std::ffi::c_char;
@@ -310,9 +308,8 @@ pub static mut global_const_indexing: std::ffi::c_char = 0;
 pub static mut global_const_str_concatenation_ptr: *const std::ffi::c_char =
     b"hello hello world\0" as *const u8 as *const std::ffi::c_char;
 #[no_mangle]
-pub static mut global_const_str_concatenation: [std::ffi::c_char; 18] = unsafe {
-    *::core::mem::transmute::<&[u8; 18], &[std::ffi::c_char; 18]>(b"hello hello world\0")
-};
+pub static mut global_const_str_concatenation: [std::ffi::c_char; 18] =
+    unsafe { ::core::mem::transmute::<[u8; 18], [std::ffi::c_char; 18]>(*b"hello hello world\0") };
 #[no_mangle]
 pub static mut global_const_builtin: std::ffi::c_int =
     (LITERAL_INT as std::ffi::c_uint).leading_zeros() as i32;
@@ -390,7 +387,7 @@ pub const silk_int16_MIN: std::ffi::c_int = 0x8000 as std::ffi::c_int;
 #[no_mangle]
 pub unsafe extern "C" fn test_silk_int16_MIN() -> std::ffi::c_int {
     let mut _null: std::ffi::c_char =
-        (*::core::mem::transmute::<&[u8; 1], &[std::ffi::c_char; 1]>(b"\0"))[(silk_int16_MIN
+        ::core::mem::transmute::<[u8; 1], [std::ffi::c_char; 1]>(*b"\0")[(silk_int16_MIN
             as std::ffi::c_short
             as std::ffi::c_int
             + 0x8000 as std::ffi::c_int)
@@ -416,7 +413,7 @@ pub unsafe extern "C" fn use_portable_type(mut len: uintptr_t) -> bool {
 unsafe extern "C" fn run_static_initializers() {
     global_static_const_ptr_arithmetic = PTR_ARITHMETIC;
     global_static_const_indexing =
-        (*::core::mem::transmute::<&[u8; 6], &[std::ffi::c_char; 6]>(b"hello\0"))
+        ::core::mem::transmute::<[u8; 6], [std::ffi::c_char; 6]>(*b"hello\0")
             [LITERAL_FLOAT as std::ffi::c_int as usize];
     global_static_const_ref_indexing = &*NESTED_STR
         .as_ptr()
@@ -429,9 +426,8 @@ unsafe extern "C" fn run_static_initializers() {
     };
     global_static_const_member = LITERAL_STRUCT.i;
     global_const_ptr_arithmetic = PTR_ARITHMETIC;
-    global_const_indexing =
-        (*::core::mem::transmute::<&[u8; 6], &[std::ffi::c_char; 6]>(b"hello\0"))
-            [LITERAL_FLOAT as std::ffi::c_int as usize];
+    global_const_indexing = ::core::mem::transmute::<[u8; 6], [std::ffi::c_char; 6]>(*b"hello\0")
+        [LITERAL_FLOAT as std::ffi::c_int as usize];
     global_const_ref_indexing = &*NESTED_STR
         .as_ptr()
         .offset(LITERAL_FLOAT as std::ffi::c_int as isize)
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@rotate.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@rotate.c.snap
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@static_assert.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@static_assert.c.snap
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile@str_init.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile@str_init.c.snap
