transpile: add auto_type test

Author: ahomescu

c2rust-transpile/tests/snapshots.rs

@@ -314,6 +314,11 @@ fn test_atomics() {
     transpile("atomics.c").run();
 }
 
+#[test]
+fn test_auto_type() {
+    transpile("auto_type.c").run();
+}
+
 #[test]
 fn test_bitfields() {
     transpile("bitfields.c").expect_compile_error(true).run();

c2rust-transpile/tests/snapshots/auto_type.c

@@ -0,0 +1,11 @@
+struct bar {
+  int x;
+};
+
+int foo() {
+  __auto_type x = 42;
+  __auto_type px = &x;
+  __auto_type sx = sizeof(x);
+  __auto_type y = (struct bar) { .x = x };
+  return y.x;
+}

c2rust-transpile/tests/snapshots/snapshots__transpile@auto_type.c.2021.snap

@@ -0,0 +1,30 @@
+---
+source: c2rust-transpile/tests/snapshots.rs
+expression: cat tests/snapshots/auto_type.2021.rs
+---
+#![allow(
+    clippy::missing_safety_doc,
+    dead_code,
+    non_camel_case_types,
+    non_snake_case,
+    non_upper_case_globals,
+    unused_assignments,
+    unused_mut
+)]
+#![feature(raw_ref_op)]
+#[derive(Copy, Clone)]
+#[repr(C)]
+pub struct bar {
+    pub x: ::core::ffi::c_int,
+}
+#[no_mangle]
+pub unsafe extern "C" fn foo() -> ::core::ffi::c_int {
+    let mut x: ::core::ffi::c_int = 42 as ::core::ffi::c_int;
+    let mut px: *mut ::core::ffi::c_int = &raw mut x;
+    let mut sx: ::core::ffi::c_ulong =
+        ::core::mem::size_of::<::core::ffi::c_int>() as ::core::ffi::c_ulong;
+    let mut y: bar = bar {
+        x: x as ::core::ffi::c_int,
+    } as bar;
+    return y.x;
+}

c2rust-transpile/tests/snapshots/snapshots__transpile@auto_type.c.2024.snap

@@ -0,0 +1,30 @@
+---
+source: c2rust-transpile/tests/snapshots.rs
+expression: cat tests/snapshots/auto_type.2024.rs
+---
+#![allow(
+    clippy::missing_safety_doc,
+    dead_code,
+    non_camel_case_types,
+    non_snake_case,
+    non_upper_case_globals,
+    unsafe_op_in_unsafe_fn,
+    unused_assignments,
+    unused_mut
+)]
+#[derive(Copy, Clone)]
+#[repr(C)]
+pub struct bar {
+    pub x: ::core::ffi::c_int,
+}
+#[unsafe(no_mangle)]
+pub unsafe extern "C" fn foo() -> ::core::ffi::c_int {
+    let mut x: ::core::ffi::c_int = 42 as ::core::ffi::c_int;
+    let mut px: *mut ::core::ffi::c_int = &raw mut x;
+    let mut sx: ::core::ffi::c_ulong =
+        ::core::mem::size_of::<::core::ffi::c_int>() as ::core::ffi::c_ulong;
+    let mut y: bar = bar {
+        x: x as ::core::ffi::c_int,
+    } as bar;
+    return y.x;
+}